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