mainPoussin proof assistant - Summary

 
 
Show feedback again
Membership Info
Project Admin:
1 active member

Group identification
Id: #9631
System Name: poussin
Name: Poussin proof assistant
Group Type: non-GNU software & documentation

Search in this Group

in
   

This project is not part of the GNU Project.

Poussin is a proof assistant based on an extension of the Calculus of Construction with inductive types.

Registration Date: Sat 05 Jan 2008 02:07:31 AM UTC
License: GNU General Public License v3 or later
Development Status: 2 - Pre-Alpha

 

Latest News 

Communication Tools
Mailing Lists Mailing Lists (0 public mailing-lists)

Show feedback again

Back to the top


Powered by Savane 3.1-cleanup