TLA Plus Foundation

TLA+ Toolbox IDE

The TLA+ Toolbox is a full-featured IDE for writing TLA+ specifications, running TLC model checks, and managing proofs with TLAPS. Available as a standalone Eclipse-based application.

GitHub

Documentation

📖
Documentation
https://tla.msr-inria.inria.fr/tlatoolbox/doc/

SDKs

📦
GitHubRepository
https://github.com/tlaplus/tlaplus

API entry from apis.yml

apis.yml Raw ↑ 
aid: tla-plus-foundation:tla-toolbox-ide
name: TLA+ Toolbox IDE
description: The TLA+ Toolbox is a full-featured IDE for writing TLA+ specifications, running TLC model
  checks, and managing proofs with TLAPS. Available as a standalone Eclipse-based application.
humanURL: https://github.com/tlaplus/tlaplus
tags:
- IDE
- Tooling
- Development
properties:
- type: Documentation
  url: https://tla.msr-inria.inria.fr/tlatoolbox/doc/
- type: GitHubRepository
  url: https://github.com/tlaplus/tlaplus