mirror of
https://github.com/Ponce/slackbuilds
synced 2024-12-02 13:04:42 +01:00
7 lines
405 B
Text
7 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.
|