matitaversion
An experimental, interactive theorem prover
Matita (that means pencil in italian) is an experimental, interactive theorem prover under development at the Computer Science Department of the University of Bologna.
| Tags | interactive theorem proving calculus of constructions |
|---|---|
| Authors | HELM Team, Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Enrico Tassi and Stefano Zacchiroli |
| License | GPL-2.0-or-later |
| Published | |
| Homepage | http://matita.cs.unibo.it |
| Issue Tracker | https://github.com/sacerdot/matita/issues |
| Maintainer | Claudio Sacerdoti Coen |
| Dependencies |
|
| Source [http] | https://github.com/sacerdot/matita/archive/refs/tags/v0.99.5.tar.gz md5=fd2535222ca0cb80d1eeebbb0109226e sha512=8ef014ba47af7f6a3b055426ef0f64898904b121aaaba6fad94f787c04733ba4687c21fbfbe8674d75a92a33ce7a332a8e6e7bbd53a2e9ed204fc00e75e6dc84 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/matita/matita.0.99.5/opam |
No package is dependent
