[ trixie ] [ sid ]

[ Pakiet źródłowy: mathcomp-analysis ]

Pakiet: libcoq-mathcomp-classical (1.2.0-1 i inne)

Odnośniki dla libcoq-mathcomp-classical

Zasoby systemu Debian:

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

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

classical logic extension for Mathematical Components

This package provides an extension for work with classical logic within the Coq proof-assistant using 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-classical

wymaga

poleca

sugeruje

enhances

dep: libcoq-elpi-ezgy5

pakiet wirtualny udostępniany przez libcoq-elpi
dep: libcoq-hierarchy-builder-bebt5

pakiet wirtualny udostępniany przez libcoq-hierarchy-builder
dep: libcoq-mathcomp-algebra-32498

pakiet wirtualny udostępniany przez libcoq-mathcomp-algebra
dep: libcoq-mathcomp-bigenough-m1f67

pakiet wirtualny udostępniany przez libcoq-mathcomp-bigenough
dep: libcoq-mathcomp-field-5b684

pakiet wirtualny udostępniany przez libcoq-mathcomp-field
dep: libcoq-mathcomp-fingroup-ifsp5

pakiet wirtualny udostępniany przez libcoq-mathcomp-fingroup
dep: libcoq-mathcomp-finmap-rjh39

pakiet wirtualny udostępniany przez libcoq-mathcomp-finmap
dep: libcoq-mathcomp-solvable-7rcr4

pakiet wirtualny udostępniany przez libcoq-mathcomp-solvable
dep: libcoq-mathcomp-ssreflect-nano0

pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

Pobieranie libcoq-mathcomp-classical

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
i386	1.2.0-1+b1	2 531,5 KiB	10 698,0 KiB	[lista plików]