Rare find

Examples. A collection of TLA⁺ specifications of varying complexities.

github.com/tlaplus/Examples
by @tlaplus

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.