Matita is an actively used programming language. 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...
- Matita ranks in the top 50% of languages
- the Matita wikipedia page
- I have 10 facts about Matita. what would you like to know? email me and let me know how I can help.
Last updated October 14th, 2019