No description, website, or topics provided.
Python
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
proofs
.project
.pydevproject
README.md
auto-git.py
auto-git.pyc
gui.py
gui.pyc
gui.py~
proof.txt
proof2.txt
prop-calc.aux
prop-calc.log
prop-calc.pdf
prop-calc.synctex.gz
prop-calc.tex
prop.html
prop.py
prop.pyc
prop2.py
prop2.pyc
pythonlisting.tex
pythonlisting.tex~
rules_of_inference.txt
temp.txt
test.py

README.md

prop-calc