Some Considerations on the Usability of Interactive Provers.

Andrea Asperti, Claudio Sacerdoti Coen

Browse the full AISC paper archive.