User interaction with the Matita proof assistant (0)

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