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

Gappa - Génération automatique de preuves de propriétés arithmétiques (pour des programmes effectuant des calculs flottants)


Registered: 2004-07-06 15:19
Developer Info
Project Admins:
Guillaume Melquiond

Developers:
4 [View Members]

 

 

Latest File Releases
Package Version Date Notes / Monitor Download
gappa0.12.0 May 26, 2009 Release Notes - Monitor this package Download
gappalib-coq0.12 July 3, 2009 Release Notes - Monitor this package Download

 

Public Areas
Home Page Project Home Page
CVS CVS Repository ( 2,337 commits, 191 adds )
  - Browse CVS

 

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment