[ bianca ]

[ Pakiet źródłowy: coquelicot ]

Pakiet: libcoq-coquelicot (3.4.3-1 i inne)

Odnośniki dla libcoq-coquelicot

Śledzenie łatek systemu eLxr

Pobieranie pakietu źródłowego coquelicot:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [coquelicot.saclay.inria.fr]

Podobne pakiety:

Coq library for real analysis

This package provides a formalization of real analysis compatible with the Coq standard library.

Coq is a proof assistant for higher-order logic.

Inne pakiety związane z libcoq-coquelicot

wymaga

poleca

sugeruje

enhances

dep: libcoq-mathcomp-ssreflect-08jv4 [amd64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-ga8c0 [arm64]

pakiet wirtualny udostępniany przez libcoq-mathcomp-ssreflect

Pobieranie libcoq-coquelicot

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	3.4.3-1+b3	3 283,8 KiB	13 087,0 KiB	[lista plików]
arm64	3.4.3-1+b3	3 283,9 KiB	13 087,0 KiB	[lista plików]