Notes on Gödel’s and Scott’s Variants of the Ontological Argument (Isabelle/HOL dataset) by Christoph Benzmüller and Dana Scott Jan 07