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