F
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.
| Name |
Last commit
|
Last update |
|---|---|---|
| examples | ||
| src | ||
| .gitignore | ||
| .mailmap | ||
| AUTHORS | ||
| COPYING | ||
| INSTALL.md | ||
| NEWS.md | ||
| README.md | ||
| Remakefile.in | ||
| autogen.sh | ||
| configure.in | ||
| remake.cpp |