Eunomia is an educational tool for analyzing the correctness of First Order Logic (FOL) proofs.
The proof must be written in Fitch Style and the application returns relevant error messages.
- Make sure you have jdk 17 installed.
- Download the Eunomia.jar file and run the application.
Note: Your operating system might not trust the unverified author (aka me), in that case you need to bypass the warning.
- A proof editor that auto generates proof bars
- A compiler that identifies the line where a mistake was made and provides an error message
- A tab which describes how to correctly line each logical rule
- A tab providing a few practice proofs
- A saving/loading system
- A design document describing the technical aspects of the application in the "Documentation" folder
The project was initiated by Andrei Girjoaba for the University of Groningen, Honours College
H.H. (Helle) Hansen, Prof Dr -Associate Professor in Logic and Semantics of Computation
D. (Daniel) Feitosa, Dr -Expertise in Software quality, Source code analysis, Mining Software Repositories, Software architecture.