找到1个数据集

格式: ZIP 标签: ISO 8601格式

过滤结果

  • 基于Isabelle的形式证明档案元数据发布_2021年4月16日

    2026年1月27日 30 160 22

    数据集概述 本数据集为2021年4月16日发布的Isabelle2021版本形式证明档案（Archive of Formal Proofs）的元数据，包含每个条目（entry）的结构化信息，涉及会话名称、标题、作者、日期、主题、摘要等核心属性，为形式化验证研究提供结构化参考资料。 文件详解 文件名称：metadata.json 文件格式：JSON...
    packageimg