Abstract
Since its inception in 2004 the Archive of Formal Proofs has grown in size but its interface and functionality have only been minimally improved. To transform the AFP into a more user-friendly and effective resource, we redesigned the website to meet modern web standards and practices. We ensure that our work is community-driven by basing the redesign on results from a survey of the Isabelle community. The site generation uses Hugo and is implemented as a proper Isabelle component, which also allows us to adapt the AFP metadata model to avoid inconsistencies in the future. Notable improvements include a responsive design, new theory browsing interface, integrated search, and enhanced navigation.
Author supplied keywords
Cite
CITATION STYLE
MacKenzie, C., Huch, F., Vaughan, J., & Fleuriot, J. (2022). Re-imagining the Isabelle Archive of Formal Proofs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 13467 LNAI, pp. 162–167). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-16681-5_11
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
