The Matita Interactive Theorem Prover

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