---
title: Install Stainless on Linux | Snap Store
description: Get the latest version of Stainless for Linux - Program verifier and
  model checker for Scala 3
url: https://snapcraft.io/stainless
---

# Stainless

[Sankalp Gambhir (sankalpgambhir)](https://snapcraft.io/publisher/sankalpgambhir "View all snaps from Sankalp Gambhir (sankalpgambhir)")

* [Sankalp Gambhir (sankalpgambhir)](https://snapcraft.io/publisher/sankalpgambhir "View all snaps from Sankalp Gambhir (sankalpgambhir)")
* [Development](https://snapcraft.io/search?categories=development)

latest/beta v0.9.9.2.r17.964266d9

Install latest/beta of Stainless

---

**Install using the command line**

```
sudo snap install stainless --beta
```

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

Stainless is only available on the unstable beta channel. It could break and change often.

---

### Package name

* stainless

---

### License

* Apache-2.0

---

### Last updated

* 6 March 2026 - latest/beta
* 23 October 2026 - latest/edge

---

### Websites

* [github.com/epfl-lara/stainless](https://github.com/epfl-lara/stainless "https://github.com/epfl-lara/stainless")

---

### Source code

* [github.com/epfl-lara/stainless](https://github.com/epfl-lara/stainless "https://github.com/epfl-lara/stainless")

---

### Report a bug

* [github.com/epfl-lara/stainless/issues](https://github.com/epfl-lara/stainless/issues "https://github.com/epfl-lara/stainless/issues")

---

##### Report a Snap Store violation

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

---

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

#### Program verifier and model checker for Scala 3

Stainless is a program verifier and counterexample finder for Scala 3. It uses SMT solvers (z3, cvc5, princess), function unfolding, and invariant inference to prove and disprove program safety and termination.

---

## Install Stainless 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/stainless/arch)

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

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

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

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

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

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

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

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

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

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

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