-
Notifications
You must be signed in to change notification settings - Fork 0
Aris
Tobias J. Park edited this page Feb 14, 2020
·
19 revisions
Aris is a tool created by students working under Professor Bram van Heuveln at Rensselaer Polytechnic Institute for evaluating first order logic proofs. This application could be useful to study in order to help us implement first order logic into ALPACA.
The code for Aris is located at https://github.com/Bram-Hub/Aris and is written in a combination of Java and Rust.
WIP....