TY - CONF T1 - Comprehending Isabelle/HOL鈥檚 Consistency JO - Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22鈥�29, 2017, Proceedings PY - 2017/03/19 AU - Kun膷ar O AU - Popescu A ED - DO - DOI: 10.1007/978-3-662-54434-1_27 PB - Springer Berlin Heidelberg SN - 9783662544334 VL - LNTCS,volume 10201 SP - 724 EP - 749 Y2 - 2025/05/16 ER -