tlaplus

tlaplus/Examples

A collection of TLA⁺ specifications of varying complexities.

1.6K stars 223 forks 1.6K watchers TLA Other

pluscal tlaplus

1 Open Issue Need Help Last updated: Aug 5, 2026

Open Issues Need Help

View All on GitHub

GitPod & Codespaces - make sure bitrot hasn't set in 1 day ago

help wanted

tlaplus/Examples

1.6K

A collection of TLA⁺ specifications of varying complexities.

TLA

#pluscal#tlaplus