User interaction with the Matita proof assistant (2007)

by A Asperti, C Sacerdoti Coen, E Tassi, S Zacchiroli
Venue:Journal of Automated Reasoning