Hacker News new | ask | show | jobs
by 0xcafefood 1160 days ago
This is a huge step towards allowing TLA+ specs and tools that check them to be more widely adopted.