diff options
author | Juan M. Lasca <juanmlasca@gmail.com> | 2013-03-11 21:13:19 -0400 |
---|---|---|
committer | dsomero <xgizzmo@slackbuilds.org> | 2013-03-22 07:16:40 -0400 |
commit | 17ef36e40eb0d9183fcd7a29e9ddda3d1a96950a (patch) | |
tree | 2298a88258830f60812a9814568c8563e4bea06d /academic/aris/README | |
parent | d30c249588095443f15225c70d35f8099efff699 (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/README | 6 |
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. |