@inproceedings{inproceedings, title = {{Cardinals in Isabelle/HOL}}, publisher = {{Springer International Publishing}}, url = {{http://dx.doi.org/10.1007/978-3-319-08970-6_8 }}, year = {{2014}}, month = {{1}}, author = {{Blanchette JC and Popescu A and Traytel D}}, doi = {{10.1007/978-3-319-08970-6_8}}, isbn = {{9783319089690}}, pages = {{111-127}}, note = {{Accessed on 2024/12/23}}}