wszystkie opcje
bookworm  ] [  sid  ]
[ Pakiet źródłowy: flocq  ]

Pakiet: libcoq-flocq (4.1.0-3)

Odnośniki dla libcoq-flocq

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego flocq:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

Floating-point arithmetic for Coq

Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations.

Coq is a proof assistant for higher-order logic.

Inne pakiety związane z libcoq-flocq

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libcoq-flocq

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 3 229,8 KiB9 834,0 KiB [lista plików]
arm64 3 229,9 KiB9 834,0 KiB [lista plików]
armhf 3 229,5 KiB9 829,0 KiB [lista plików]
i386 3 230,1 KiB9 829,0 KiB [lista plików]
ppc64el 3 230,0 KiB9 834,0 KiB [lista plików]
s390x 3 229,7 KiB9 834,0 KiB [lista plików]