Natural Deduction Planner Wiki
Assistant for generating Natural Deduction style proofs
Status: Beta
Brought to you by:
declanthompson
This wiki contains information on the use of the Proof Assistant. For install information, visit the page [Getting Started].
For information on using the Proof Assistant, see [Basic Usage].