Comprehending Isabelle/HOL's Consistency.

Ondrej Kuncar, Andrei Popescu

Browse the full ESOP paper archive.