User interaction with the Matita proof assistant (2007)

by A Asperti, Sacerdoti Coen, C Tassi, E, S Zacchiroli
Venue:Journal of automated reasoning