Linux Foundation Announces Launch of TLA+ Foundation
linuxfoundation.orgThis is a huge step towards allowing TLA+ specs and tools that check them to be more widely adopted.
This is a huge step towards allowing TLA+ specs and tools that check them to be more widely adopted.