GitHub repository: Chris-Frendo/DiscreteMaths
Primary language: Java
Description: A simple tool allowing users to compose Propositional and Predicate Logic proofs, checking their correctness in the process