-
4A formal proof in Coq of Van Baalen's model for the possibility of knowledge of the external world despite the diallelus. This file proves that something close to classical theism is sufficient for outside knowledge to be possible.
-
40This paper presents an intuitionistic formalisation in Coq of the late Van Baalen's *null-path argument* as a response to external-world skepticism.
-
17A formal proof in Coq of Van Baalen's model for the possibility of knowledge of the external world despite the diallelus. This file proves that something close to classical theism is necessary for outside knowledge to be possible.
