Faith seeking understanding, machine-checked. A C++23 compiler for theological arguments, with a natural-deduction proof checker, an S5 modal tableau and Z3. Premises cite Scripture, the Fathers or first principles. Gödel’s ontological argument is fully verified. Runs in your browser via WebAssembly.
compiler dsl theorem-proving natural-deduction modal-logic theology formal-logic apologetics philosophy-of-research ontological-argument
-
Updated
Oct 25, 2026 - C++