/LOST

Primary LanguageJava

============================================================= LOgic Semantic Tutor (LOST)

Educational software for teaching first order predicate logic semantics.

=============================================================

To run from terminal cd into /LOST/NetBeans and run:

java -jar "dist/LOST.jar"