tlaplus-standard. A collection of various standards, proposed or established, related to TLA+

github.com/tlaplus/tlaplus-standard
by @tlaplus

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.