@conference {628, title = {Comprehending Isabelle/HOL{\textquoteright}s Consistency}, booktitle = {Proceedings of the 26th European Symposium on Programming (ESOP)}, year = {2017}, author = {Ond{\v r}ej Kun{\v c}ar and Andrei Popescu} }