This is the Trace Id: 98396f363c82931066f458d9b50ad367
Skip to main content Microsoft 365 Azure Copilot Windows Surface XBOX Sale Small Business Support Windows Apps OneDrive Outlook Moving from Skype to Teams OneNote Microsoft Teams Shop XBOX Accessories XBOX Game Pass Ultimate XBOX games PC games Microsoft AI Microsoft Security Azure Dynamics 365 Microsoft 365 for business Microsoft Power Platform Windows 365 Digital Sovereignty Microsoft Developer Microsoft Learn Support for AI marketplace apps Microsoft Tech Community Microsoft Marketplace Software companies Visual Studio Microsoft Rewards Free downloads & security Education Gift cards Licensing View Sitemap

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:

    13/06/2024

    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.
Back To Top
Surface Pro Surface Laptop Explore Copilot Explore Microsoft products Games Windows 11 apps Account profile Download Center Returns Order tracking Microsoft Store Promise Microsoft in education Devices for education Microsoft Teams for Education Microsoft 365 Education Office Education Educator training and development Deals for students and parents Azure for students
Microsoft AI Microsoft Security Azure Dynamics 365 Microsoft 365 Microsoft Advertising Microsoft Copilot Microsoft Teams Microsoft Developer Microsoft Learn Support for AI marketplace apps Microsoft Tech Community Microsoft Marketplace Microsoft Power Platform Software companies Visual Studio Careers Company news Privacy at Microsoft Investors Sustainability
English (Singapore)
Your Privacy Choices Opt-Out Icon Your Privacy Choices
Consumer Health Privacy Contact Microsoft Privacy Manage cookies Terms of use Trademarks About our ads