This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
java computer-science gui logic philosophy first-order-logic teaching propositional-logic formal-logic predicate-logic logic-proofs
-
Updated
Jun 20, 2021 - Java