The Matita Interactive Theorem Prover

by Andrea Asperti , Wilmer Ricciotti , Claudio Sacerdoti Coen , Enrico Tassi
Citations:8 - 6 self