C.: Some considerations on the usability of interactive provers (2010)

by A Asperti, Sacerdoti Coen
Venue:In: Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics