diff options
| author | B. Watson <yalhcru@gmail.com> | 2020-10-11 15:39:10 -0400 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2020-10-17 09:36:39 +0700 |
| commit | 747661d77feff686d5d26fe074af658450358594 (patch) | |
| tree | 4c0377f39371b23bdaa0750e7c5fd0d1ac751add /academic/aris | |
| parent | f429b78f63470197e19f18ebe08610df621e5e45 (diff) | |
academic/aris: Fix README.
Signed-off-by: B. Watson <yalhcru@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
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 65cf47df47e16..13f3372b78568 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. |