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

Administration

Notes :

Nom de version : 0.12.0

Notes :



Changemenents : Version 0.12.0: * back-ends - added back-end for producing Coq lambda terms (support is limited to what the Coq tactic can handle) * proof graph - fixed handling of complicated goals * main interface - added output of failed subgoals

 

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment