The Matita Interactive Theorem Prover
by
Andrea Asperti
,
Wilmer Ricciotti
,
Claudio Sacerdoti Coen
,
Enrico Tassi
| Citations: | 1 - 1 self |
BibTeX
@MISC{Asperti_thematita,
author = {Andrea Asperti and Wilmer Ricciotti and Claudio Sacerdoti Coen and Enrico Tassi},
title = {The Matita Interactive Theorem Prover},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. Matita is an interactive theorem prover being developed by the Helm team at the University of Bologna. Its stable version 0.5.x may be downloaded at
