找到2个数据集

标签: 版本适配

过滤结果

  • PTArcade_Based_v1_0_0数据文件集合

    2026年1月30日 30 210 3

    数据集概述 本数据集为PTArcade v1.0.0版本的配套数据，包含十一个文件，无目录层级结构。文件类型涵盖压缩包、JSON、压缩归档及数据文件，主要用于支持PTArcade相关功能的数据调用与处理，可作为该版本程序运行的基础数据支撑。 文件详解 压缩包文件（.zip）...
    packageimg

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

    2026年1月27日 30 106 43

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