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

by M Wenzel
Venue:From Insight to Proof—Festschrift in Honour of Andrzej Trybulec. Studies in Logic, Grammar, and Rhetoric