Theorem Prover To run, open up the terminal and enter: python theoremProver.py Add expressions sepaerated by newline in expressions.ini