wszystkie opcje
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Pakiet źródłowy: mathcomp-analysis  ]

Pakiet: libcoq-mathcomp-analysis (1.9.0-1 i inne)

Odnośniki dla libcoq-mathcomp-analysis

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego mathcomp-analysis:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

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.

Inne pakiety związane z libcoq-mathcomp-analysis

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libcoq-mathcomp-analysis

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 1.9.0-1+b4 17 215,9 KiB70 036,0 KiB [lista plików]