S'identifier
Nouveau compte
  
 
Accueil
Ma page
Arbre des projets
Boite à outils
Demande d'aide
PFF
            
 
 
En bref
Documents
CVS
Fichiers
        
 

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.


Enregistré le : 29/04/2004 14:01
Taux d'activité : 75%
Voir les statistiques d'activité du projet.
Equipe-Projet
Administrateurs :
Sylvie Boldo

Développeurs :
3 [Voir les membres]

 

 

Derniers fichiers publiés
Paquet Version Date Remarques / Surveillance Téléchargement
Float7.41.0 May 4, 2004 Notes - Suivre ce paquet Téléchargement
Float8.01.6 June 20, 2007 Notes - Suivre ce paquet Téléchargement
BasicFloat7.41.0 May 4, 2004 Notes - Suivre ce paquet Téléchargement
BasicFloat8.01.1 June 3, 2004 Notes - Suivre ce paquet Téléchargement
BasicFloat8.11.1 March 25, 2008 Notes - Suivre ce paquet Téléchargement
Float8.11.1 March 25, 2008 Notes - Suivre ce paquet Téléchargement
Float8.21.2 November 6, 2008 Notes - Suivre ce paquet Téléchargement
Float8.38.3pl1 January 9, 2012 Notes - Suivre ce paquet Téléchargement
Float8.4Float8.4 October 3, 2012 Notes - Suivre ce paquet Téléchargement

 

Zones publiques
Accueil Page d'accueil du projet
Documents Gestion de documents : Documentation du projet
CVS Référentiel CVS ( 140 remontées (commits), 14 ajouts (adds) )
  - Browse CVS

 

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment