Y
Hacker News
new
|
ask
|
show
|
jobs
Linux Foundation Announces Launch of TLA+ Foundation
(
linuxfoundation.org
)
10 points
by
jsmorph
1152 days ago
1 comments
0xcafefood
1152 days ago
This is a huge step towards allowing TLA+ specs and tools that check them to be more widely adopted.
link