Package: matita
Architecture: any
Depends: ${shlibs:Depends}
-Recommends: matita-standard-library
+Recommends: matita-standard-library, graphviz
Description: interactive theorem prover
Matita is a graphical interactive theorem prover based on the Calculus of
(Co)Inductive Constructions.