Version2.2
Revision198
Size32.6 MB
LicenseGPL-3.0
Confinementstrict
Basecore20
CategoriesScience

A logical proof program

Website
Screenshot
Aris supports propositional and predicate logic, Boolean algebra,
and arithmetical logic in the form of abstract sequences (seqlog).

Update History

2.2 (198)
13 Dec 2025, 09:47 UTC

Published22 Feb 2022, 14:38 UTC

Last updated23 Jul 2025, 10:22 UTC

First seen13 Dec 2025, 09:47 UTC