昆查尔,Ondřej;安德烈·波佩斯库 Isabelle/HOL的一贯基础。 (英语) Zbl 1465.68289号 J.汽车。推理 62,第4期,531-555(2019).理学硕士:68伏15 03B16号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kunčar}和\textit{A.Popescu},J.Autom。推理62,No.4,531--555(2019;Zbl 1465.68289) 全文: 内政部 链接
昆查尔,Ondřej;安德烈·波佩斯库 Isabelle/HOL的一贯基础。 (英语) Zbl 1433.68556号 Urban,Christian(ed.)等人,《交互式定理证明》。第六届国际会议,2015年ITP,中国南京,2015年8月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9236, 234-252 (2015).理学硕士:68伏15 03B16号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kunčar}和\textit{A.Popescu},莱克特。注释计算。科学。9236,234--252(2015;Zbl 1433.68556) 全文: 内政部 链接