Towards an Interactive Mathematical Proof Mode (2003)

by Henk Barendregt
Venue:In Kamareddine [13