Poussin proof assistant - Summary

Group

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

No news found

Quick Overview

Communication Tools

Tech Support Manager (open items: 0, total: 0)

Mailing Lists (0 public mailing lists)

Development Tools

Bug Tracker (open items: 2, total: 2)

Task Manager (open items: 5, total: 7)