and Freef Wiedijk. A comparison of the mathematical proof languages Mizar and Isar (0)

by Markus Wenzel
Venue:Journal of Automated Reasoning