## A Comparison of the Mathematical Proof Languages Mizar and Isar (2002)

by
Markus Wenzel
,
Freek Wiedijk

Venue: | Journal of Automated Reasoning |

Citations: | 10 - 3 self |