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

by Makarius Wenzel
Venue:UNIVERSITY OF BIA̷LYSTOK
Citations:17 - 2 self