← All repos

tlaplus/Examples

View on GitHub ↗ ★ 1,603 TLA

A collection of TLA⁺ specifications of varying complexities.

8 mentions on Hacker News by 7 people: 0 stories, 8 comments · first 2017-01-17 · latest 2026-07-31