Isar - A generic interpretative approach to readable formal proof documents (1999)

by M Wenzel
Venue:In Proc. 12th Conference on Theorem Proving in Higher Order Logics, volume 1690 of LNCS