georgejkaye/theorem-prover

A simple theorem prover made for a university programming assignment

Java