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...

?Years Old 20Users 0Jobs
  • 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