The Matita Interactive Theorem Prover

by Andrea Asperti , Wilmer Ricciotti , Claudio Sacerdoti Coen , Enrico Tassi
Citations:19 - 9 self