挖掘正式证据的存档-存档ouverte HAL
通信Dans Un Congrès Anneée:2015年

挖掘形式证明的档案

Résumé

《正式证据档案》是一本由校对助理伊莎贝尔（Isabelle）开发的大量计算机校对证明集。我们对档案进行深入分析，查看校样开发的各种属性，包括大小、依赖性和校样样式。这让我们对形式证明的性质有了一些见解。

与葡萄园

信息逻辑[cs.LO]
菲奇尔校长
小品小品
纸张.pdf（294.59 Ko） 特勒充电器
原籍 菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

布兰切特 : 连接您的联系人和贡献者

https://inria.hal.science/hal-01212594

Soumis le:mercredi 2015年10月7日10:09:19

Dernière修改le:mercredi 24 juillet 2024-10:30:03

长期档案：vendredi 8 janvier 2016-10:16:11

Télé充电器倒可视化

日期和版本

hal-01212594中， 版本1 (07-10-2015)

身份证明人

Citer公司

贾斯敏·克里斯蒂安·布兰切特（Jasmin Christian Blanchette）、马克西米利安·哈斯贝克（Maximilian Haslbeck）、丹尼尔·马提库克（Daniel Matichuk）、托比亚斯·尼普科（Tobias Nipkow）。挖掘正式证据的档案。CICM 2015年2015年7月，美国华盛顿特区。⟨10.1007/978-3-319-20615-8_1⟩.⟨哈尔-01212594⟩

出口商

BibTeX公司 XML-TEI公司 都柏林核心元数据集 DC条款 尾注 数据引用

收藏

中国科学院 印度 UNIV-LORAINE公司 INRIA2公司 洛里亚 LORIA-FM公司
232 磋商
304 交易费用

海拔高度

合作伙伴

更多