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.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

 - Bugs(0 open / 0 total)

 - Support(0 open / 0 total)

 - Patches(0 open / 0 total)

 - Feature Requests(0 open / 0 total)


SCM SCM Tree ( 447 commits, 59 adds )
FTP Released Files

 

 


Powered By GForge Collaborative Development Environment