Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: More about God

Email Gateway (Aug 22 2022 at 16:17):

From: Lawrence Paulson <lp15@cam.ac.uk>
I’m happy to announce yet another proof of the existence of God. This article also has the objective of illustrating applications of proof assistants to logic in a broader sense.

As an aside, the same technique can be used to show that Satan does not exist. Sorry about that.

https://www.isa-afp.org/entries/Lowe_Ontological_Argument.html

Larry Paulson

Last updated: Apr 27 2024 at 01:05 UTC