---
title: Install GNU Aris on Linux | Snap Store
description: Get the latest version of GNU Aris for Linux - A logical proof program
url: https://snapcraft.io/aris
---

# GNU Aris (aris)

[Kovács Zoltán (kovzol-particio)](https://snapcraft.io/publisher/kovzol-particio "View all snaps from Kovács Zoltán (kovzol-particio)")

* [Kovács Zoltán (kovzol-particio)](https://snapcraft.io/publisher/kovzol-particio "View all snaps from Kovács Zoltán (kovzol-particio)")
* [Science](https://snapcraft.io/search?categories=science)

latest/stable 2.2

Install latest/stable of GNU Aris

---

**Install using the command line**

```
sudo snap install aris
```

Don't have snapd? [Get set up for snaps](https://snapcraft.io/docs/installing-snapd).

---

### Package name

* aris

---

### License

* GPL-3.0

---

### Last updated

* 23 July 2025 - latest/stable
* 31 May 2026 - latest/edge

---

### Websites

* [github.com/kovzol/aris](https://github.com/kovzol/aris "https://github.com/kovzol/aris")

---

### Contact

* [zoltan@geogebra.org](mailto:zoltan@geogebra.org "mailto:zoltan@geogebra.org")

---

##### Report a Snap Store violation

* [Report this Snap](https://snapcraft.io/aris#report-snap-modal)

---

* [Description](https://snapcraft.io/aris#tab-description)
* [Security](https://snapcraft.io/aris#tab-security)

#### A logical proof program

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

---

## 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](https://snapcraft.io/docs/installing-snapd).

[### Arch Linux](https://snapcraft.io/install/aris/arch)

[### CentOS](https://snapcraft.io/install/aris/centos)

[### Debian](https://snapcraft.io/install/aris/debian)

[### elementary OS](https://snapcraft.io/install/aris/elementary)

[### Fedora](https://snapcraft.io/install/aris/fedora)

[### KDE Neon](https://snapcraft.io/install/aris/kde-neon)

[### Kubuntu](https://snapcraft.io/install/aris/kubuntu)

[### Manjaro](https://snapcraft.io/install/aris/manjaro)

[### Pop!\_OS](https://snapcraft.io/install/aris/pop)

[### openSUSE](https://snapcraft.io/install/aris/opensuse)

[### Red Hat Enterprise Linux](https://snapcraft.io/install/aris/rhel)

[### Ubuntu](https://snapcraft.io/install/aris/ubuntu)

[### Raspberry Pi](https://snapcraft.io/install/aris/raspbian)