The Matita Interactive Theorem Prover. (0)

by Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi
Venue:In Proceedings of the 23rd International Conference on Automated Deduction (CADE-2011),