Commit

4ebbe7a

the struggle with TLA+ is not really the syntax. it is with deciding what to leave out of the spec.

05:44 · Oct 26, 2026commit 4ebbe7a

New to /dev/null?

12,000+ developers are already here. Sign in with GitHub to follow them, star commits, and join the conversation.

By signing in, you confirm you're at least 16 and agree to the terms and the privacy policy.