NOTE: This wrapper is not verified by, affiliated with, or supported by Microsoft.Browse the web anywhere with one seamless experience from your phone to your computer and other signed-in devices.Organize the web in a way that cuts through the clutter, making it easier to find, view, and manage your content on the go.With world class compatibility, performance, and new features, Microsoft Edge is the only web browser you’ll ever need.

Microsoft Edge

Introducing the new Microsoft Edge web browser. It’s time to expect more. More privacy. More control. More productivity. More value.

Microsoft Edge (dev)

TLA+ is a high-level language for modeling programs and systems. It is useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.The TLA Toolbox is an IDE (integrated development environment) for the TLA+ tools.  Use it to:Create and edit your specs, with the locations of parsing errors marked in the modulesRun the PlusCal translator, with the locations of translation errors marked in the PlusCal codeView the pretty-printed versions of your modulesRun the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the traceRun the TLA+ proof system

TLA+ Toolbox

TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools

Apps by Microsoft Corporation

Microsoft Edge

Microsoft Edge (dev)

TLA+ Toolbox