Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.
Primary LanguageRustGNU General Public License v3.0GPL-3.0