Isar -- a Generic Interpretative Approach to Readable Formal Proof Documents (1999)

by Markus Wenzel
Citations:81 - 16 self