Digital Projects

Projects

This section features various digital philosophy projects.

• Natural Deduction Proof Checker — An interactive tool for constructing and verifying natural deduction proofs.