A Comparison of Mizar and Isar (2002)

Cached

Download Links

by Markus Wenzel , Freek Wiedijk
Venue:J. Automated Reasoning
Citations:8 - 0 self