-
This paper presents an intuitionistic formalisation in Coq of the late Van Baalen's *null-path argument* as a response to external-world skepticism.
Areas of Specialization
| Arguments for Theism |
| Arguments Against Theism |
| Christianity |