塞萨里·卡利西克;巴基斯坦，卡洛尔 声明性证明翻译（短文）。 （英语） Zbl 07649984号 Harrison，John（ed.）等人，第十届交互式定理证明国际会议，ITP 2019，2019年9月9日至12日，美国俄勒冈州波特兰。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第35条，第7页（2019年）。MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}和\textit{K.Pak}，LIPIcs——莱布尼茨国际程序。通知。141，第35条，第7页（2019；Zbl 07649984） 全文： DOI程序
乍得·E·布朗。;塞萨里·卡利西克;巴基斯坦，卡洛尔 高阶Tarski Grothendieck作为形式证明的基础。 （英语） Zbl 07649958号 Harrison，John（ed.）等人，第十届交互式定理证明国际会议，ITP 2019，2019年9月9日至12日，美国俄勒冈州波特兰。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第9条，第16页（2019年）。MSC公司：68V20型 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Brown}等人，LIPIcs——莱布尼茨国际程序。通知。141，第9条，第16页（2019年；Zbl 07649958） 全文： DOI程序