Miroirs/SlackBuildsOrg
1
0
Fork 0
mirror of https://github.com/SlackBuildsOrg/slackbuilds synced 2024-09-30 05:39:56 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

academic/aris: Fix README.

Browse source 
Signed-off-by: B. Watson <yalhcru@gmail.com>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
B. Watson 2020-10-11 15:39:10 -04:00 committed by Willy Sudiarto Raharjo
parent f429b78f63
commit 747661d77f
No known key found for this signature in database
GPG key ID: 3F617144D7238786
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
academic/aris/README
View file

@ -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.