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

Forums Forums ( 2 messages in 4 forums )
Docs Doc Manager
Mail Lists Mailing Lists ( 1 public lists )
Tasks Task Manager
  - To Do
  - Next Release
SCM SCM Tree ( 420 commits, 56 adds )
FTP Released Files

 

 

Powered By GForge Collaborative Development Environment