Pinned Loading

1. tlaplus tlaplus Public

   TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

   Java 2.5k 217

2. Examples Examples Public

   A collection of TLA⁺ specifications of varying complexities.

   TLA 1.4k 207

3. DrTLAPlus DrTLAPlus Public

   Dr. TLA+ series - learn an algorithm and protocol, study a specification

   TLA 837 100

4. vscode-tlaplus vscode-tlaplus Public

   TLA+ language support for Visual Studio Code

   TypeScript 382 42

5. CommunityModules CommunityModules Public

   TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

   TLA 287 39

6. tlapm tlapm Public

   The TLA⁺ Proof Manager

   OCaml 80 24