Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
Linux Foundation Announces Launch of TLA+ Foundation
(opens in new tab)
(linuxfoundation.org)
10 points
jsmorph
3y ago
1 comments
Save
Share
1 comments
1 comments · 1 top-level
top
newest
oldest
0xcafefood
3y ago
This is a huge step towards allowing TLA+ specs and tools that check them to be more widely adopted.
j
/
k
navigate · click thread line to collapse
