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

Cached

Download Links

by Markus Wenzel , Freek Wiedijk
Venue:Journal of Automated Reasoning
Citations:10 - 3 self