3 ms·
This is a huge step towards allowing TLA+ specs and tools that check them to be more widely adopted.
by 0xcafefood 3y ago
This is a huge step towards allowing TLA+ specs and tools that check them to be more widely adopted.
loading thread…
3 ms·