A natural-deduction module for WeBWorK courses, implemented by Curtis Fenner with the support of Dr. Martin Strauss and Elizabeth Viera.
Refer to the help-files directory for a tutorial of how to use the natural deduction proof problems and many examples.
Refer to the example-problems directory for a list of example .pg problem files.