Some considerations on the usability of Interactive Provers

by Andrea Asperti , Claudio Sacerdoti Coen
Citations:3 - 1 self