coq-flocq 3.2.0 Floating-point formalization for the Coq system
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.
- Website: https://flocq.gforge.inria.fr/
- License: LGPL 3+
- Package source: coq.scm
- Patches: None
- Builds: x86_64-linux, i686-linux