mainPoussin proof assistant - Summary

Membership Info
Group Admin:
1 active member

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


Latest News rss feed
Quick Overview
 Memberlist (1 member)

Communication Tools
 Tech Support Manager (open items: 0, total: 0)
  - Browse open items
  - Submit a new item
 Mailing Lists (0 public mailing lists)

Development Tools
 Bug Tracker (open items: 2, total: 2)
  - Browse open items
  - Submit a new item
 Task Manager (open items: 5, total: 7)
  - Browse open items
  - Submit a new item

Back to the top

Powered by Savane 3.11