Home My Page Projects Flocq
Summary Activity Tracker News SCM Files

Project description

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.

Project Information

This project has not yet categorized itself in the Trove Software Map Registered: 2009-01-19 12:16
Activity Ranking: 375
View project Statistics or Activity
View list of RSS feeds available for this project.
Latest File Releases
Package Version Date Notes Download
flocq 2.5.2 2016-09-27 flocq - Release Notes flocq 2.5.2 - Download
Public Tools
Tracker  Tracker
SCM Repository (Git: 1,377 updates, 110 adds)
Latest News
rss

Flocq 2.5.2 released

Guillaume Melquiond - 2016-09-27 15:59 -

Flocq 2.5.1 released

Guillaume Melquiond - 2016-01-04 09:00 -

Flocq 2.5.0 released

Guillaume Melquiond - 2015-09-16 04:04 -

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 -