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 […]