Package: wnpp
Severity: wishlist
X-Debbugs-CC: debian-devel@lists.debian.org

--- Please fill out the fields below. ---

Package name: matita
Version: 0.4.0
Upstream Author: helm team
URL: http://matita.cs.unibo.it
License: GPL
Description:

Matita is a graphical interactive theorem prover based on the Calculus of
(Co)Inductive Constructions.