劳伦斯·C·鲍尔森。;托比亚斯·尼普科;马卡里乌斯·温泽尔 从LCF到Isabelle/HOL。 (英语) Zbl 1427.68349号 正式Asp。计算。 31,第6号,675-698(2019).MSC公司:第68卷第15页 68-03 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson}等人,正式Asp。计算。31,第6号,675--698(2019;Zbl 1427.68349) 全文: 内政部 arXiv公司 OA许可证
丹尼尔·马提库克;托比·默里;马卡里乌斯·温泽尔 艾斯巴赫:伊莎贝尔的证明方法语言。 (英语) Zbl 1356.68195号 J.汽车。推理 56,第3期,261-282(2016).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Matichuk}等人,J.Autom。推理56,No.3,261--282(2016;Zbl 1356.68195) 全文: 内政部