Linux Foundation Announces Launch of TLA+ Foundation

10 points by jsmorph 3 years ago | 1 comment

0xcafefood 3 years ago |

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

0xcafefood 3 years ago |

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