# Matita

Matita is an actively used programming language created in 1999. Matita is an experimental proof assistant under development at the Computer Science Department of the University of Bologna. It is a tool aiding the development of formal proofs by man-machine collaboration, providing a programming environment where formal specifications, executable algorithms and automatically verifiable correctness certificates naturally coexist. Matita is based on a dependent type System known as the Calculus of (Co)Inductive Constructions (a derivative of Calculus of Constructions), and is compatible, to some extent, with Coq. Read more on Wikipedia...

21Years Old | 20Users | ?Jobs |

- the Matita wikipedia page
- Matita first appeared in 1999
- Have a question about Matita not answered here? Email me and let me know how I can help.

Last updated May 25th, 2020