flocq

flocq

Formalization of floating point numbers for Coq

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

Není dostupný žádný oficiální balíček pro openSUSE Leap 16.0

Distribuce

openSUSE Tumbleweed

oficiální vydání Oficiální
4.2.0
Expert Download

science Experimentální
4.2.0
Instalovat Expert Download

openSUSE Leap 15.6

science Experimentální
4.2.0
Instalovat Expert Download

openSUSE Leap 15.5

SLFO 1.2

science Experimentální
4.2.0
Instalovat Expert Download

openSUSE Backports for SLE 15 SP7

science Experimentální
4.2.0
Instalovat Expert Download

openSUSE Backports for SLE 15 SP4

Nepodporované distribuce

Následující distribuce nejsou oficiálně podporovány. Použijte tyto balíčky na vlastní nebezpečí.