A comparison of the mathematical proof languages mizar and isar (2003)

by M Wenzel, F Wiedijk
Venue:Journal of Automated Reasoning