aboutsummaryrefslogtreecommitdiff
path: root/academic/aris/README
diff options
context:
space:
mode:
authorJuan M. Lasca <juanmlasca@gmail.com>2013-03-11 21:13:19 -0400
committerdsomero <xgizzmo@slackbuilds.org>2013-03-22 07:16:40 -0400
commit17ef36e40eb0d9183fcd7a29e9ddda3d1a96950a (patch)
tree2298a88258830f60812a9814568c8563e4bea06d /academic/aris/README
parentd30c249588095443f15225c70d35f8099efff699 (diff)
academic/aris: Added (sequential proof program)
Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
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.