Trace Id is missing

Copilot is your AI companion

Always by your side, ready to support you whenever and wherever you need it.
Download the Copilot app
A picture of a dog with a pop up bubble saying Talk to Copilot and asking What celeb does my dog look like?

TLA Toolbox: Linux 64-bit

An integrated development environment for writing and checking TLA+ specifications. Last published: February 28, 2013.

Important! Selecting a language below will dynamically change the complete page content to that language.

Download

  • Version:

    1.4.5

    Date Published:

    5/12/2016

    File Name:

    TLAToolbox-1.4.5-linux.gtk.x86_64.zip

    File Size:

    48.9 MB

    An integrated development environment for writing and checking TLA+ specifications.

  • Supported Operating Systems

    Linux

    • Linux

    • Click Download and follow the instructions.

Follow Microsoft

Back To Top