Natural Deduction Planner

27 April 2016

Go to Project Site

Screenshot of NDP

proof assistant natural deduction logic

Declan Thompson

PhD Student in Philosophy

PhD student in Philosophy at Stanford University