hollalinux
/
slackbuilds
mirror of https://github.com/SlackBuildsOrg/slackbuilds.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
slackbuilds/academic/aris
History
Philip Lacroix 6f6a902299
academic/aris: Updated for version 2. New maintainer. 
Signed-off-by: Dave Woodfall <dave@slackbuilds.org>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
 		2021-02-14 06:27:53 +07:00
..
README academic/aris: Fix README. 2020-10-17 09:36:39 +07:00
aris.SlackBuild academic/aris: Updated for version 2. New maintainer. 2021-02-14 06:27:53 +07:00
aris.info academic/aris: Updated for version 2. New maintainer. 2021-02-14 06:27:53 +07:00
help_path.diff academic/aris: Updated for version 2. New maintainer. 2021-02-14 06:27:53 +07:00
slack-desc academic/aris: Updated for version 2. New maintainer. 2021-02-14 06:27:53 +07:00

README 

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.