https://github.com/tlaplus/tlaplus-standard

A collection of various standards, proposed or established, related to TLA+
https://github.com/tlaplus/tlaplus-standard

Last synced: 8 months ago
JSON representation

A collection of various standards, proposed or established, related to TLA+

• Host: GitHub
• URL: https://github.com/tlaplus/tlaplus-standard
• Owner: tlaplus
• License: mit
• Archived: true
• Created: 2021-04-27T12:55:56.000Z (about 5 years ago)
• Default Branch: main
• Last Pushed: 2025-03-19T19:16:11.000Z (about 1 year ago)
• Last Synced: 2025-10-08T23:00:03.772Z (8 months ago)
• Language: TLA
• Size: 134 KB
• Stars: 5
• Watchers: 1
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# The content of this repository has been moved to https://github.com/tlaplus/rfcs

A collection of various standards, proposed or established, relating to TLA⁺.

Includes:

* The formal BNF grammars for TLA⁺ v1 and v2

* Unicode equivalents to TLA+ LaTeX symbols

* A corpus of tests that can be adapted to all TLA⁺ tooling