Automating Gödel’s Ontological Proof of God’s Existence with Higher-order Automated Theorem Provers

Revision: 
1
Contributing Authors: 
  • Christoph Benzmüller
  • Bruno Woltzenlogel Paleo
Description: 

Instructions for running the experiment:

$ vagrant init SomeName http://recomputation.org/ecai2014/experiments/chris/GoedelGod2.box
$ vagrant up

A previous, incomplete version of this experiment can be downloaded here.