A collection of various standards, proposed or established, relating to TLA+. Includes:
- The formal BNF grammars for TLA+ v1 and v2
- Proposed unicode equivalents to TLA+ LaTeX symbols
A collection of various standards, proposed or established, related to TLA+
A collection of various standards, proposed or established, relating to TLA+. Includes:
A collection of various standards, proposed or established, related to TLA+
MIT License