Skip to content

Tool for constructing proofs using Natural Deduction (CS1231)

Notifications You must be signed in to change notification settings

cricketer94/NDProofs

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

NDProofs

Tool for constructing using Natural Deduction (CS1231).
This closely follows the Natural Deduction as it is taught in the NUS Module CS1231 Discrete Structures.

NDProofs is a tool used to quickly and easily build and check proofs using the principles of Natural Deduction. It speeds up the process of planning and making a proof through an interface that allows the quick editing and checking of each line as you construct the proof.
In addition, inbuilt features like hints, and logic checking can prompt you or ensure that you are on the right track.

Features

  • Importing / exporting or proofs from a text file
  • Automatic verification of proofs.
  • Custom puzzle packs
  • Custom natural deduction rules
  • Automated truth-table checking of statements (runs in exponential time. No problem for <10 variables)

Installation

No installation is required. Just compile and run.

Pre-compiled:
https://www.mediafire.com/?5wefauuondf02xk
More info:
http://ohoh.byethost7.com/?page=ndproofs

About

Tool for constructing proofs using Natural Deduction (CS1231)

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Java 99.9%
  • HTML 0.1%