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