PANDORA - a Natural Deduction Proof Tool

Idea: Pandora is a Natural Deduction boxproof tool which was developed by students in previous projects. It consists of two parts; one is an editor written in Tcl/Tk and the other is a checker/debugger written in Prolog. They communicate via a simple interface. The tool is used in teaching first year students. There are several projects available to work on this tool:

This project could suit several persons each working on different aspects of the tool.