Install latest/stable of GNU Aris
Ubuntu 16.04 or later?
Make sure snap support is enabled in your Desktop store.
Aris supports propositional and predicate logic, Boolean algebra, and arithmetical logic in the form of abstract sequences (seqlog).
Thank you for your report. Information you provided will help us investigate further.
There was an error while sending your report. Please try again later.
You are about to open
Do you wish to proceed?
Generate an embeddable card to be shared on external websites.
Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the installing snapd documentation.
