Skip to content

An unofficial, re-designed website for Isabelle’s Archive of Formal Proofs (AFP) is now live at:

This was designed and implemented as part of Carlin MacKenzie’s Master of Informatics project, supervised by James Vaughan and Jacques Fleuriot. We also released via arXiv the results of a survey of the AFP carried out with Isabelle users.