diff options
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 0000000000..65cf47df47 --- /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. |