Linux Foundation Announces Launch of TLA+ Foundation (linuxfoundation.org) 10 points by jsmorph 3y ago ↗ HN
[–] 0xcafefood 3y ago ↗ This is a huge step towards allowing TLA+ specs and tools that check them to be more widely adopted.
1 comment
[ 3.0 ms ] story [ 16.7 ms ] thread