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

The Archive of Formal Proofs is functional, however it has not visually changed in almost twenty years. My project aims to rectify this and bring the AFP into the modern day. Previously, I have recreated the website in a more robust static site generator.

Since my last presentation, I have redesigned the user interface, improved discoverability and enhanced code browsing. For each of these, I will explain my approach and demonstrate the latest iteration. Finally, I will present a timeline for the remaining work.