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

Package: matita (0.99.1-1)

Links for matita


Debian Resources:

Download Source Package matita:


External Resources:

Similar packages:

Prova interactiva de teoremas

Matita é uma ferramenta gráfica interativa para a prova de teoremas baseado no Calculus of (Co)Inductive Constructions.

Tags: Field: Mathematics, Implemented in: OCaml, User Interface: interface::commandline, interface::x11, Role: Program, Interface Toolkit: GTK, Purpose: use::checking, x11::application

Other Packages Related to matita

  • depends
  • recommends
  • suggests
  • enhances

Download matita

Download for all available architectures
Architecture Package Size Installed Size Files
armhf 9,159.3 kB22,482.0 kB [list of files]