aboutsummaryrefslogtreecommitdiff
path: root/academic/aris/README
diff options
context:
space:
mode:
Diffstat (limited to 'academic/aris/README')
-rw-r--r--academic/aris/README6
1 files changed, 6 insertions, 0 deletions
diff --git a/academic/aris/README b/academic/aris/README
new file mode 100644
index 0000000000000..65cf47df47e16
--- /dev/null
+++ b/academic/aris/README
@@ -0,0 +1,6 @@
+GNU Aris is a sequential proof program, designed to assist anyone interested
+in solving logical proofs. Aris supports both propositional and predicate
+logic, as well as Boolean algebra and arithmetical logic in the form of
+abstract sequences. It uses a predefined set of both inference and equivalence
+rules, however gives the user options to use older proofs as lemmas, including
+Isabelle's Isar proofs.