形式证明档案的评价
An Evaluation of the Archive of Formal Proofs
摘要：
正式证明档案（AFP）是Isabelle证明助手的正式证明的在线存储库。它是出版、发现和查看校样库的中心位置。我们于2020年11月进行网上调查，以评估网站的适合性。在这份报告中，我们提出并讨论了结果，结果表明，该网站的长期用户普遍对法新社感到满意，但有一些领域，如导航，搜索和脚本浏览，需要改进。
英文摘要：
The Archive of Formal Proofs (AFP) is an online repository of formal proofs for the Isabelle proof assistant. It serves as a central location for publishing, discovering, and viewing libraries of proofs. We conducted an online survey in November 2020 to assess the suitability of the website. In this report, we present and discuss the results, which showed that long-term users of the website are generally satisfied with the AFP but that there are a number of areas, such as navigation, search and script browsing, that need improvement.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
