all options
squeeze  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Source: matita  ]

Package: matita (0.5.8-2 and others)

Links for matita


Debian Resources:

Download Source Package matita:


External Resources:

Similar packages:

interactive theorem prover

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

Matita adopts XML-encoded proof objects are produced for storage and exchange. This makes it compatible, at some extent, with Coq.

The graphical interface has been inspired by CtCoq and Proof General. It supports high quality bidimensional rendering of proofs and formulae transformed on-the-fly to MathML markup

Tags: Field: Mathematics, Implemented in: OCaml, User Interface: Command Line, X Window System, Role: Program, Interface Toolkit: GTK, Purpose: Checking, X Window System: Application

Other Packages Related to matita

  • depends
  • recommends
  • suggests
  • enhances

Download matita

Download for all available architectures
Architecture Version Package Size Installed Size Files
sparc 0.5.8-2+b1 5,815.8 kB15,828.0 kB [list of files]