A comparison of the mathematical proof languages Mizar and Isar (2002)

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