todas as opções
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Fonte: mathcomp-analysis  ]

Pacote: libcoq-mathcomp-analysis (1.9.0-1 e outros)

Links para libcoq-mathcomp-analysis

Screenshot

Recursos de Debian:

Baixe o pacote-fonte mathcomp-analysis:

Mantenedores(as):

Fontes externas:

Pacotes similares:

analysis extension for Mathematical Components

This package provides an extension for classical analysis for the Mathematical Components library.

The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.

Outros pacotes relacionados a libcoq-mathcomp-analysis

  • depende
  • recomenda
  • sugere
  • melhora

Download de libcoq-mathcomp-analysis

Baixe para todas as arquiteturas disponíveis
Arquitetura Versão Tamanho do pacote Tamanho instalado Arquivos
amd64 1.9.0-1+b4 17,215.9 kB70,036.0 kB [lista de arquivos]
arm64 1.9.0-1+b4 17,218.6 kB70,036.0 kB [lista de arquivos]
ppc64el 1.9.0-1+b4 17,213.5 kB70,036.0 kB [lista de arquivos]
riscv64 1.9.0-1+b3 17,211.8 kB70,036.0 kB [lista de arquivos]
s390x 1.9.0-1+b3 17,215.1 kB70,036.0 kB [lista de arquivos]