Download TLA Toolbox: Linux 64-bit from Official Microsoft Download Center

A Surface Pro

Surface Pro

The most versatile laptop

TLA Toolbox: Linux 64-bit

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

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