The Matita Interactive Theorem Prover.

Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi

Browse the full CADE paper archive.