diff options
Diffstat (limited to 'academic/aris')
| -rw-r--r-- | academic/aris/README | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/academic/aris/README b/academic/aris/README index 65cf47df47e1..13f3372b7856 100644 --- a/academic/aris/README +++ b/academic/aris/README @@ -1,6 +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. +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. |