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

Odnośniki dla libcoq-gappa

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.

dep: gappa

Automatyczne generowanie dowodów własności arytmetycznych
dep: libcoq-flocq-4cm59 [ppc64el]

pakiet wirtualny udostępniany przez libcoq-flocq
dep: libcoq-flocq-61k63 [amd64]

pakiet wirtualny udostępniany przez libcoq-flocq
dep: libcoq-flocq-g5ib5 [riscv64]

pakiet wirtualny udostępniany przez libcoq-flocq
dep: libcoq-flocq-h1gl8 [arm64]

pakiet wirtualny udostępniany przez libcoq-flocq
dep: libcoq-flocq-o4m69 [s390x]

pakiet wirtualny udostępniany przez libcoq-flocq
dep: libcoq-stdlib-1ns11 [arm64]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-8jeh0 [s390x]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-q0rh7 [ppc64el]

pakiet wirtualny udostępniany przez libcoq-stdlib
dep: libcoq-stdlib-wthf1 [riscv64]

pakiet wirtualny udostępniany przez libcoq-stdlib

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]
arm64	1.7.0-1+b1	540,9 KiB	1 413,0 KiB	[lista plików]
ppc64el	1.7.0-1+b1	537,1 KiB	1 413,0 KiB	[lista plików]
riscv64	1.7.0-1+b1	538,5 KiB	1 389,0 KiB	[lista plików]
s390x	1.7.0-1+b2	538,3 KiB	1 397,0 KiB	[lista plików]