Skip to content

Anselm's God in Isabelle/HOL

Ben Blumson requested to merge benblumson/ComputationalPhilosophy:patch-1 into master

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

Merge request reports