A comparison of Mizar and Isar (0)

by M Wenzel, F Wiedijk
Venue:J. Automated Reasoning