1 paper
Carlin MacKenzie, Jacques Fleuriot, James Vaughan
The Archive of Formal Proofs (AFP) is an online repository of formal proofs for the Isabelle proof assistant. It serves as a central location for publishing, discovering, and viewi…