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.
Maintained by: Juan M. Lasca
Keywords: logic
ChangeLog: aris
Homepage:
https://www.gnu.org/software/aris/
Download SlackBuild:
aris.tar.gz
aris.tar.gz.asc (FAQ)
(the SlackBuild does not include the source)
Individual Files: |
README |
aris.SlackBuild |
aris.info |
docs_and_build.patch |
slack-desc |
© 2006-2023 SlackBuilds.org Project. All rights reserved.
Slackware® is a registered trademark of
Patrick Volkerding
Linux® is a registered trademark of
Linus Torvalds