User Interaction with the Matita Proof Assistant (2006)

by Andrea Asperti , Claudio Sacerdoti Coen , Enrico Tassi , Stefano Zacchiroli
Venue:Journal of Automated Reasoning, Special
Citations:47 - 15 self