Matita

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

  • Developer(s):  Matita team
  • Initial release:  1999
  • Written in:  OCaml
  • Operating system:  Linux
  • Available in:  English
  • Type:  Theorem proving
  • License:  GPL
  • Data source:  DuckDuckGo
NWN Solutions