The Matita Interactive Theorem Prover (2011)

by Andrea Asperti , Wilmer Ricciotti , Claudio Sacerdoti Coen , Enrico Tassi
Venue:Proceedings of the 23rd International Conference on Automated Deduction (CADE-2011), volume 6803 of Lecture Notes in Computer Science