Some considerations on the usability of interactive provers (0)

by Andrea Asperti, Claudio Sacerdoti Coen
Venue:In Intelligent Computer Mathematics, 10th International Conference