Propositional Logic Proof Checker

Checks proof of the form

Usage

make
./a.out

Follow the instructions appearing in the terminal.

The input is expected to be well formed.

Brackets surrounding expressions need not be there.

For more info, refer Readme.html

Name		Name	Last commit message	Last commit date
Latest commit History 29 Commits
Documentation/html		Documentation/html
Part1		Part1
Part2		Part2
.gitignore		.gitignore
Doxyfile		Doxyfile
README.md		README.md
Readme.html		Readme.html
main.cpp		main.cpp
makefile		makefile
start.h		start.h