mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-29 13:00:32 +01:00
747661d77f
Signed-off-by: B. Watson <yalhcru@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
6 lines
405 B
Text
6 lines
405 B
Text
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.
|