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 Bialystok, 2007. Studies in Logic, Grammar, and Rhetoric 10(23