Poussin proof assistant - Summary
Group identification
Id: 9631
System Name: poussin
Name: Poussin proof assistant
Group Type: non-GNU software and documentation
Search in this Group
This group 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
Communication Tools


Development Tools


- Browse open items
Submit a new item
Powered by Savane 3.14-d288.
Corresponding source code