joshuacrotts/logic-learning-assistance-tool

This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.

语言：Java · GitHub 星标：9 · Fork：1

话题：computer-science · first-order-logic · formal-logic · gui · java · logic · logic-proofs · philosophy

在 GitHub 上查看原仓库