Isabelle/Isar – a generic framework for human-readable proof documents (2007)

by M Wenzel
Venue:From Insight to Proof: Festschrift in Honour of Andrzej Trybulec, 10(23) Studies in Logic, Grammar and Rhetoric, 277–298. University of Bia lystok