GNU Aris

Install latest/stable of GNU Aris

Ubuntu 16.04 or later?

Make sure snap support is enabled in your Desktop store.

Install using the command line

sudo snap install aris

Don't have snapd? Get set up for snaps.

Channel Version Published

A logical proof program

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

Details for GNU Aris

  • GPL-3.0

Last updated
  • 12 June 2024 - latest/stable
  • 12 June 2024 - latest/edge



Share this snap

Generate an embeddable card to be shared on external websites.

Install GNU Aris on your Linux distribution

Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the installing snapd documentation.

Where people are using GNU Aris

Users by distribution (log)

Ubuntu 22.04
Ubuntu 20.04
Ubuntu 24.04

Is there a problem with GNU Aris? Report this app