Gödel's and Scott's Variants of the Ontological Argument in Lean 4 and TPTP THF

Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932026-10-052026-10-052026https://fis.uni-bamberg.de/handle/uniba/117502engGödel's and Scott's Variants of the Ontological Argument in Lean 4 and TPTP THFpreprint10.48550/arxiv.2609.268062609.26806