wszystkie opcje
bookworm  ] [  sid  ]
[ Pakiet źródłowy: coq-gappa  ]

Pakiet: libcoq-gappa (1.5.2-5)

Odnośniki dla libcoq-gappa

Screenshot

Zasoby systemu Debian:

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

Opiekunowie:

Zasoby zewnętrzne:

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

Pobieranie libcoq-gappa

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 503,1 KiB2 116,0 KiB [lista plików]
arm64 506,0 KiB2 156,0 KiB [lista plików]
armhf 501,7 KiB2 070,0 KiB [lista plików]
i386 500,3 KiB2 094,0 KiB [lista plików]
ppc64el 502,8 KiB2 156,0 KiB [lista plików]
s390x 504,1 KiB2 124,0 KiB [lista plików]