Demos

Title: A New Web Interface for the Archive of Formal Proofs
Speaker: Jaydn Goodwin
Abstract:

I will be presenting my developments on a new implementation of the Archive of Formal Proofs. I'll be highlighting the key features of the current interface that have been replicated as well as new features that have been added. I will also be discussing my design decisions, and methods I will use to evaluate the project.