T
TLA+
Formal specification language for modelling concurrent and distributed systems and checking them with a model checker.
0 members list TLA+, unchanged over the last 12 weeks, data as of 10 October 2026
Usage on Stackness
0membersunchanged over the last 12 weeks
Members who list TLA+ in their Stack, by week.
Nobody has this tool in their stack yet.
Posts about TLA+
- Do testing instructions improve coding agent correctness? What 30 conditions on one Zstd task measured
In a 30-condition eval, telling Codex to use TDD cut fully correct Zstd decoders by 5 to 7 points. No testing instruction clearly beat none.