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

20Years Old 20Users 0Jobs
  • Matita ranks in the top 50% of languages
  • the Matita wikipedia page
  • Matita first appeared in 1999
  • I have 11 facts about Matita. what would you like to know? email me and let me know how I can help.

Last updated December 10th, 2019

Edit Matita