# Anselm's God in Isabelle/HOL

 Title: Anselm's God in Isabelle/HOL Author: Ben Blumson Submission date: 2017-09-06 Abstract: Paul Oppenheimer and Edward Zalta's formalisation of Anselm's ontological argument for the existence of God is automated by embedding a free logic for definite descriptions within Isabelle/HOL. BibTeX: @article{AnselmGod-AFP, author = {Ben Blumson}, title = {Anselm's God in Isabelle/HOL}, journal = {Archive of Formal Proofs}, month = sep, year = 2017, note = {\url{http://isa-afp.org/entries/AnselmGod.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License Status: [ok] This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.