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.
Guillaume Melquiond - 2014-04-03 18:38 -
Guillaume Melquiond - 2014-01-10 14:47 -
Guillaume Melquiond - 2013-07-31 08:30 -
Guillaume Melquiond - 2012-06-03 19:46 -
Guillaume Melquiond - 2011-12-06 15:32 -
Guillaume Melquiond - 2011-03-17 16:51 -
Guillaume Melquiond - 2011-02-21 13:52 -
Guillaume Melquiond - 2011-01-17 14:16 -
Guillaume Melquiond - 2010-11-10 11:19 -
Guillaume Melquiond - 2010-10-18 13:07 -
Tracker
SCM Tree
Released Files
