#

logic-proofs

Here is 1 public repository matching this topic...

logic-learning-assistance-tool

joshuacrotts / logic-learning-assistance-tool

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

Improve this page

Add a description, image, and links to the logic-proofs topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the logic-proofs topic, visit your repo's landing page and select "manage topics."