S.: User interaction with the Matita proof assistant (2007)

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