limbocode / prop-calc Public

forked from russjohnson09/prop-calc

A proposicional calculator made in Python!

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 55 Commits
proofs		proofs
.project		.project
.pydevproject		.pydevproject
README.md		README.md
auto-git.py		auto-git.py
auto-git.pyc		auto-git.pyc
gui.py		gui.py
gui.pyc		gui.pyc
gui.py~		gui.py~
proof.txt		proof.txt
proof2.txt		proof2.txt
prop-calc.aux		prop-calc.aux
prop-calc.log		prop-calc.log
prop-calc.pdf		prop-calc.pdf
prop-calc.synctex.gz		prop-calc.synctex.gz
prop-calc.tex		prop-calc.tex
prop.html		prop.html
prop.py		prop.py
prop.pyc		prop.pyc
prop2.py		prop2.py
prop2.pyc		prop2.pyc
pythonlisting.tex		pythonlisting.tex
pythonlisting.tex~		pythonlisting.tex~
rules_of_inference.txt		rules_of_inference.txt
temp.txt		temp.txt
test.py		test.py