TLA+

Pinned

1. tlaplus Public

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

   Java 2k 164

2. Examples Public

   A collection of TLA+ specifications of varying complexities

   TLA 1k 169

3. DrTLAPlus Public

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

   TLA 737 88

4. vscode-tlaplus Public

   TLA+ language support for Visual Studio Code

   TypeScript 270 23

5. CommunityModules Public

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

   TLA 216 33

6. tlapm Public

   The TLA Proof Manager

   OCaml 45 14