FAIRsharing record for: Archive of Formal Proofs

This FAIRsharing record describes: The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
The archive repository is hosted on Heptapod to provide easy free access to archive entries. The entries are tested and maintained continuously against the current stable release of Isabelle. Older versions of archive entries will remain available.

本FAIRsharing记录所介绍的资源为：形式化证明档案馆（Archive of Formal Proofs）是一批证明库、示例素材及大型科学研究成果的集合，所有内容均在定理证明器Isabelle中完成了机械化校验。该档案馆采用科学期刊的运作模式进行组织管理，投稿需经过同行评审。
该档案馆的代码仓库托管于Heptapod平台，旨在为用户提供便捷的免费档案条目访问渠道。所有档案条目会持续适配Isabelle的当前稳定版本进行测试与维护，且档案条目的过往版本将永久留存并可供访问。