nushackers/code-nus-repos — pull request #5 by mauris (2014-10-05 14:10:46+00:00)
Title: Added Oh's NDProof app

CS1231 students are currently using to create Natural Deduction Proofs. A very neat Java app.