@inproceedings{inproceedings, title = {{A Consistent Foundation for Isabelle/HOL}}, publisher = {{Springer International Publishing}}, url = {{http://dx.doi.org/10.1007/978-3-319-22102-1_16 }}, year = {{2015}}, month = {{8}}, author = {{KunĨar O and Popescu A}}, doi = {{10.1007/978-3-319-22102-1_16}}, isbn = {{9783319221014}}, pages = {{234-252}}, note = {{Accessed on 2024/12/26}}}