Isar — a generic interpretative approach to readable formal proof documents (1999)

by M Wenzel
Venue:Theorem Proving in Higher Order Logics: TPHOLs ’99, volume 1690 of Lecture Notes in Computer Science