Log In
New Account
  
 
Home
My Page
Project Tree
Code Snippets
Project Openings
PFF
            
 
 
Summary
Docs
CVS
Files
        
 

PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats) is a repository of a Coq library about floating-point arithmetic. It contains both definitions and proofs of basic facts, old & new properties and algorithms.


Registered: 2004-04-29 14:01
Activity Percentile: 75%
View project activity statistics.
Developer Info
Project Admins:
Sylvie Boldo

Developers:
3 [View Members]

 

 

Latest File Releases
Package Version Date Notes / Monitor Download
Float7.41.0 May 4, 2004 Release Notes - Monitor this package Download
Float8.01.6 June 20, 2007 Release Notes - Monitor this package Download
BasicFloat7.41.0 May 4, 2004 Release Notes - Monitor this package Download
BasicFloat8.01.1 June 3, 2004 Release Notes - Monitor this package Download
BasicFloat8.11.1 March 25, 2008 Release Notes - Monitor this package Download
Float8.11.1 March 25, 2008 Release Notes - Monitor this package Download
Float8.21.2 November 6, 2008 Release Notes - Monitor this package Download
Float8.38.3pl1 January 9, 2012 Release Notes - Monitor this package Download
Float8.4Float8.4 October 3, 2012 Release Notes - Monitor this package Download

 

Public Areas
Home Page Project Home Page
Docs DocManager: Project Documentation
CVS CVS Repository ( 140 commits, 14 adds )
  - Browse CVS

 

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment