TY - CONF T1 - Cardinals in Isabelle/HOL UR - http://dx.doi.org/10.1007/978-3-319-08970-6_8 PY - 2014/01/01 AU - Blanchette JC AU - Popescu A AU - Traytel D ED - DO - DOI: 10.1007/978-3-319-08970-6_8 PB - Springer International Publishing SN - 9783319089690 SP - 111 EP - 127 Y2 - 2025/05/16 ER -