http://www.logic.at/staff/bruno/
This is an unofficial reimagining of the Archive of Formal Proofs
Gödel's God in Isabelle/HOLby Christoph Benzmüller and Bruno Woltzenlogel Paleo