The Matita Interactive Theorem Prover (2011)

by A Asperti, W Ricciotti, C Sacerdoti Coen, E Tassi
Venue:Proceedings of the 23rd International Conference on Automated Deduction (CADE-2011), volume 6803 of Lecture Notes in Computer Science