všetky možnosti
bookworm  ] [  trixie  ] [  sid  ]
[ Zdroj: flocq  ]

Balík: libcoq-flocq (4.1.4-2 a iné)

Odkazy pre libcoq-flocq

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík flocq:

Správcovia:

Externé zdroje:

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom libcoq-flocq

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libcoq-flocq

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
arm64 4.1.4-2+b2 3,375.6 kB10,270.0 kB [zoznam súborov]