
GNU Aris
Version 2.2
A logical proof program
Enjoying this site? Please
to help keep the Snapstats.org lights on.
Description
Aris supports propositional and predicate logic, Boolean algebra,
and arithmetical logic in the form of abstract sequences (seqlog).
