Formalization of floating point numbers for Coq

Edit Package flocq

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.

Refresh
Refresh
Source Files
Filename Size Changed
flocq-4.1.4.tar.gz 0000451421 441 KB
flocq-rpmlintrc 0000000255 255 Bytes
flocq.changes 0000003470 3.39 KB
flocq.spec 0000004398 4.29 KB
Latest Revision
Ana Guerrero's avatar Ana Guerrero (anag+factory) accepted request 1142145 from Aaron Puchert's avatar Aaron Puchert (aaronpuchert) (revision 7)
- Update to version 4.1.4.
  * Ensured compatibility from Coq 8.12 to 8.19.
Comments 0
openSUSE Build Service is sponsored by