Program for verification

FormalTheology / GoedelGod

Formalizations of Gödel's Ontological Proof of God's Existence

437 stars 37 forks source link

Program for verification #4

Closed alterechtschreibung closed 10 years ago

alterechtschreibung commented 10 years ago

Can you tell me a Linux program or Android app that verifies the data?

ceilican commented 10 years ago

Thanks for your question. I have just answered it by adding instructions in the repository's README.md file. If you still have doubts, let us know.

Note that the remote call scripts were made for Mac, and they haven't been tested in Linux yet. But Coq, Isabelle and the automated provers can certainly be installed in Linux without problems.

Best regards!