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