DMCA

User Interaction with the Matita Proof Assistant (2007)

by Andrea Asperti , Claudio Sacerdoti Coen , Enrico Tassi , Stefano Zacchiroli
Venue:J AUTOM REASONING (2007) 39:109–139
Citations:62 - 17 self