[ bianca ]

[ Pakiet źródłowy: coq-gappa ]

Pakiet: libcoq-gappa (1.7.0-1 i inne)

Odnośniki dla libcoq-gappa

Śledzenie łatek systemu eLxr

Pobieranie pakietu źródłowego coq-gappa:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [gappa.gitlabpages.inria.fr]

Podobne pakiety:

Coq tactic to use Gappa for floating-point goals

This package provides a Coq tactic to discharge goals about floating-point arithmetic and round-off errors to Gappa.

Gappa is a prover for numerical properties.

Coq is a proof assistant for higher-order logic.

Inne pakiety związane z libcoq-gappa

wymaga

poleca

sugeruje

enhances

dep: gappa

Automatic generation of proofs of arithmetic properties
dep: libcoq-flocq-61k63

pakiet wirtualny udostępniany przez libcoq-flocq
dep: libcoq-stdlib-68yx1

pakiet wirtualny udostępniany przez libcoq-stdlib

Pobieranie libcoq-gappa

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1.7.0-1+b1	537,8 KiB	1 385,0 KiB	[lista plików]