基于Isabelle的形式证明档案元数据发布_2021年4月16日
收藏海数据2026-06-25 收录
官方服务：
资源简介：
本数据集为2021年4月16日发布的Isabelle2021版本形式证明档案（Archive of Formal Proofs）的元数据，包含每个条目（entry）的结构化信息，涉及会话名称、标题、作者、日期、主题、摘要等核心属性，为形式化验证研究提供结构化参考资料。 https://foss.heptapod.net/isa-afp/afp-2021 @ 679cb16760ca490e5bd161495ad9cb5b629d16a6
提供机构：
公开数据创建时间：
2026-01-27
