Isabelle/Isar—A generic framework for human-readable proof documents (0)

by Makarius Wenzel
Venue:From Insight to Proof—Festschrift in Honour of Andrzej Trybulec. University of Białystok, 2007. Studies in Logic, Grammar, and Rhetoric 10(23