Welcome to Flocq project!

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.

Latest News

Flocq 2.4.0 released

Guillaume Melquiond - 2014-09-02 12:25 -

Flocq 2.3.0 released

Guillaume Melquiond - 2014-04-03 18:38 -

Flocq 2.2.2 released

Guillaume Melquiond - 2014-01-10 14:47 -

Flocq 2.2.0 released

Guillaume Melquiond - 2013-07-31 08:30 -

Flocq 2.1.0 released

Guillaume Melquiond - 2012-06-03 19:46 -

Flocq 2.0.0 released

Guillaume Melquiond - 2011-12-06 15:32 -

Flocq 1.4.0 released

Guillaume Melquiond - 2011-03-17 16:51 -

Flocq 1.3 released

Guillaume Melquiond - 2011-02-21 13:52 -

Flocq 1.2 released

Guillaume Melquiond - 2011-01-17 14:16 -

Flocq 1.1 released

Guillaume Melquiond - 2010-11-10 11:19 -

Flocq 1.0 released

Guillaume Melquiond - 2010-10-18 13:07 -
Project Summary
Tracker Tracker
There are no public trackers available
SCM SCM Tree ( 535 commits, 74 adds )
FTP Released Files

 

 


Powered By GForge Collaborative Development Environment