--- title: Install tlaplus on Arch Linux using the Snap Store | Snapcraft description: Get the latest version of tlaplus for on Arch Linux - The TLA Toolbox is an IDE for the TLA+ tools. url: https://snapcraft.io/install/tlaplus/arch --- [Canonical Snapcraft](https://snapcraft.io/) # Install tlaplus on **Arch Linux** # 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/arch#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/arch#report-snap-modal) --- ## Enable snaps on Arch Linux 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 On Arch Linux, snap can be installed from the [Arch User Repository (AUR).](https://aur.archlinux.org/packages/snapd/) The [manual build process](https://wiki.archlinux.org/index.php/Arch_User_Repository#Installing_packages) is the Arch-supported install method for AUR packages, and you’ll need the [prerequisites](https://wiki.archlinux.org/index.php/Arch_User_Repository#Prerequisites) installed before you can install any AUR package. You can then install snap with the following: ``` git clone https://aur.archlinux.org/snapd.git cd snapd makepkg -si ``` Once installed, the *systemd* unit that manages the main snap communication socket needs to be enabled: ``` sudo systemctl enable --now snapd.socket ``` If [AppArmor](https://wiki.archlinux.org/title/AppArmor) is enabled in your system, enable the service which loads AppArmor profiles for snaps: ``` sudo systemctl enable --now snapd.apparmor.service ``` To enable *classic* snap support, enter the following to create a symbolic link between `/var/lib/snapd/snap` and `/snap`: ``` sudo ln -s /var/lib/snapd/snap /snap ``` 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/arch) © 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/arch) * [Service status](https://status.snapcraft.io/) * [Other functions](https://dashboard.snapcraft.io/) * [Contact us](https://snapcraft.io/about/contact-us)