Trace Id is missing

Unlock your potential with Microsoft Copilot

Get things done faster and unleash your creativity with the power of AI anywhere you go.
Microsoft Copilot app being utilized to generate pictures of a singing dog, assisting to identify a flower, and helping to generate an email to congratulate a coworker on a promotion.

TLA Toolbox: Linux 32-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.zip

    File Size:

    48.7 MB

    An integrated development environment for writing and checking TLA+ specifications.
  • Supported Operating Systems

    Linux

    • Linux
    • Click Download and follow the instructions.
Follow Microsoft