7 ms·Linux Foundation Announces Launch of TLA+ Foundation10 points by jsmorph 3y ago0xcafefood 3y agoThis is a huge step towards allowing TLA+ specs and tools that check them to be more widely adopted.