Pandora Home Page

Pandora (Proof Assistant for Natural Deduction using Organised Rectangular Areas) is a learning support tool designed to guide the construction of natural deduction proofs.

To run the tool click here:

Run Pandora.

To find out about natural deduction look at:

Reasoned Programming by K. Broda, S. Eisenbach, H. Khoshnevisan, S. Vickers. (Prentice-Hall, 1994.)