5 citations · 8 across the 9 of their papers we have counts for
1 paper · 1 filter
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…