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.

All your team conversations, files, meetings, and apps live together in a single shared workspace. This app requires a paid Office 365 commercial subscription, or a free or trial subscription of Microsoft Teams. If you’re not sure about your company’s subscription or the services you have access to, visit Office.com/Teams to learn more or contact your IT department.NOTE: This wrapper is not verified by, affiliated with, or supported by Microsoft Corporation.

Microsoft Teams

Microsoft Teams for Linux is your chat-centered workspace in Office 365

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:<ul><li>Create and edit your specs, with the locations of parsing errors marked in the modules</li><li>Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code</li><li>View the pretty-printed versions of your modules</li><li>Run 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 trace</li><li>Run the TLA+ proof system</li></ul>

TLA+ Toolbox

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

Microsoft Edge

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

Changes in version 103.0.1264.44-1

Other apps by Microsoft Corporation

Microsoft Teams

TLA+ Toolbox

Installs over time

Manual Install

Run