形式化证明档案库评估
数字图书馆
2021-04-05 v1 计算机科学中的逻辑
摘要
形式化证明档案库（AFP）是 Isabelle 证明助手的在线形式化证明仓库，作为发布、发现和查看证明库的中心位置。我们于 2020 年 11 月开展了一项在线调查以评估该网站的适用性。在本报告中，我们展示并讨论了调查结果，结果表明该网站的长期用户总体上对 AFP 感到满意，但在导航、搜索和脚本浏览等方面仍有若干需要改进之处。
引用
@article{arxiv.2104.01052,
title = {An Evaluation of the Archive of Formal Proofs},
author = {Carlin MacKenzie and Jacques Fleuriot and James Vaughan},
journal= {arXiv preprint arXiv:2104.01052},
year = {2021}
}