mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-14 21:56:41 +01:00
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.
|