This script is for Slackware 14.2 only and may be outdated.

SlackBuilds Repository

14.2 > Academic > aris (2.2)

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: Philip Lacroix
Keywords: logic
ChangeLog: aris

Homepage:
https://www.gnu.org/software/aris/

Source Downloads:
aris-2.2.tar.bz2 (523e2c40f17e6e857b533c22a26ff4e1)

Download SlackBuild:
aris.tar.gz
aris.tar.gz.asc (FAQ)

(the SlackBuild does not include the source)

Individual Files:
README
aris.SlackBuild
aris.info
help_path.diff
slack-desc

Validated for Slackware 14.2

See our HOWTO for instructions on how to use the contents of this repository.

Access to the repository is available via:
ftp git cgit http rsync

© 2006-2024 SlackBuilds.org Project. All rights reserved.
Slackware® is a registered trademark of Patrick Volkerding
Linux® is a registered trademark of Linus Torvalds