Anselm's God in Isabelle/HOL
Adding formalization of the Zalta-Oppenheimer reconstruction of Anselm's ontological argument in Isabelle/HOL.
Adding formalization of the Zalta-Oppenheimer reconstruction of Anselm's ontological argument in Isabelle/HOL.