slackbuilds_ponce/academic/aris
Willy Sudiarto Raharjo 9d6abe0415 academic/aris: Updated for version 2.1.1.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackware-id.org>
Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
2013-11-04 22:15:17 -06:00
..
aris.info academic/aris: Updated for version 2.1.1. 2013-11-04 22:15:17 -06:00
aris.SlackBuild academic/aris: Updated for version 2.1.1. 2013-11-04 22:15:17 -06:00
html_doc.patch
README
slack-desc

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.