@inproceedings{inproceedings, title  = {{Comprehending Isabelle/HOL’s Consistency}},

 publisher = {{Springer Berlin Heidelberg}},

 url = {{}},

 year = {{2017}},

 month = {{3}},

 author = {{Kunčar O and Popescu A}},

 doi = {{10.1007/978-3-662-54434-1_27}},

 isbn = {{9783662544334}},

 volume = {{LNTCS,volume 10201}},

 journal = {{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}},

 pages = {{724-749}},

 note = {{Accessed on 2024/12/23}}}