Description

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

Screenshots

GNU Aris screenshot

Get it from the Snap Store

Search for another snap, or go back to the homepage.
An error has occurred. This application may no longer respond until reloaded. Reload 🗙