Linux Foundation Announces Launch of TLA+ Foundation

linuxfoundation.org

10 pointsjsmorph1 comment

This is a huge step towards allowing TLA+ specs and tools that check them to be more widely adopted.