https://philpeople.org/profiles/ben-blumson
This is an unofficial reimagining of the Archive of Formal Proofs
Mereologyby Ben Blumson
Anselm's God in Isabelle/HOLby Ben Blumson