Skip to content
Date: 28th February 2020
Time: 14:00 - 16:00
Location: IF 2.33
Demos | Talks

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.