Title: Developing a New Web Application for the Archive of Formal Proofs
Speaker: Carlin Mackenzie
Abstract:

The Archive of Formal Proofs is the primary repository for Isabelle formal logic proofs on the internet. It functions as a journal with annual releases and to date over 350 authors have contributed. The AFP is currently functional, however it is very demanding to maintain and unintuitive to browse. This work aims to improve upon the existing AFP by conducting user surveys and using this to guide development in the areas of user experience and maintainability.