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
[ 4.8 ms ] story [ 9.8 ms ] thread