---
title: Install tlaplus on elementary OS using the Snap Store | Snapcraft
description: Get the latest version of tlaplus for on elementary OS - The TLA Toolbox
  is an IDE for the TLA+ tools.
url: https://snapcraft.io/install/tlaplus/elementary
---

[Canonical Snapcraft](https://snapcraft.io/)

# Install tlaplus on **elementary OS**

# tlaplus

[Andrew Wilkins (axw)](https://snapcraft.io/publisher/axw "View all snaps from Andrew Wilkins (axw)")

* [Andrew Wilkins (axw)](https://snapcraft.io/publisher/axw "View all snaps from Andrew Wilkins (axw)")

[Install](https://snapcraft.io/install/tlaplus/elementary#install)

#### The TLA Toolbox is an IDE for the TLA+ tools.

The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools.
You can use it to:

* Create and edit your specs, with the locations of parsing errors marked in the modules.
* Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code.
* View the pretty-printed versions of your modules.
* Run the TLC model checker. You do this by creating one or more models, which specify the
  information TLC needs to check the spec: what the spec is, what properties to check, the values
  to substitute for constant parameters, etc. Among the features the Toolbox provides is an error
  trace viewer and explorer that allows you to:
  + Explore a structured view of the states.
  + See exactly what parts of the state are changed in each step.
  + Evaluate arbitrary state and action formulas at each step in the trace.
* Run TLAPS, the TLA+ proof system.

### Package name

* tlaplus

---

### License

* MIT

---

### Last updated

* 17 May 2017 - latest/stable
* 17 May 2017 - latest/candidate

This snap hasn't been updated in a while. It might be unmaintained and have stability or security issues.

---

### Websites

* [research.microsoft.com](https://research.microsoft.com/en-us/um/people/lamport/tla/tla.html "https://research.microsoft.com/en-us/um/people/lamport/tla/tla.html")

---

### Contact

* [groups.google.com](https://groups.google.com/forum/?fromgroups#!forum/tlaplus "https://groups.google.com/forum/?fromgroups#!forum/tlaplus")

---

##### Report a Snap Store violation

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

---

## Enable snaps on elementary OS and install tlaplus

Snaps are applications packaged with all their dependencies to run on all popular Linux distributions from a single build. They update automatically and roll back gracefully.

Snaps are discoverable and installable from the [Snap Store](https://snapcraft.io/store), an app store with an audience of millions.

### Enable snapd

Snap can be installed on elementary OS from the command line. Open *Terminal* from the Applications launcher and type the following:

```
sudo apt update
sudo apt install snapd
```

Either log out and back in again, or restart your system, to ensure snap’s paths are updated correctly.

### Install tlaplus

To install tlaplus, simply use the following command:

```
sudo snap install tlaplus
```

### Other popular snaps…

[See more...](https://snapcraft.io/search?categories=featured)

[See more in Featured](https://snapcraft.io/search?categories=featured)

### More things to do…

#### [Get the snap store](https://snapcraft.io/snap-store)

Browse and find snaps from the convenience of your desktop using the snap store snap.

#### [Learn more about snaps](https://snapcraft.io/docs)

Interested to find out more about snaps? Want to publish your own application? Visit [snapcraft.io](https://snapcraft.io/) now.

[Back to top](https://snapcraft.io/install/tlaplus/elementary)

© 2026 Canonical Ltd.
Ubuntu and Canonical are registered trademarks of Canonical Ltd.

Powered by [Charmed Kubernetes](https://www.ubuntu.com/kubernetes)

[Join the forum](https://forum.snapcraft.io/), contribute to or report problems with,
[snapd](https://bugs.launchpad.net/snapd),
[Snapcraft](https://bugs.launchpad.net/snapcraft),
or [this site](https://github.com/canonical/snapcraft.io/issues/new).

* [Share on Twitter](https://twitter.com/snapcraftio)
* [Share on Facebook](https://www.facebook.com/snapcraftio)
* [Share on YouTube](https://www.youtube.com/snapcraftio)

* [Terms of Service](https://ubuntu.com/legal/terms-and-policies/snap-store-terms)
* [Data privacy](https://www.ubuntu.com/legal/data-privacy)
* [Manage your tracker settings](https://snapcraft.io/install/tlaplus/elementary)
* [Service status](https://status.snapcraft.io/)
* [Other functions](https://dashboard.snapcraft.io/)
* [Contact us](https://snapcraft.io/about/contact-us)