Live data from Hacker News

Linux Foundation Announces Launch of TLA+ Foundation

linuxfoundation.org

Post reply on HN

Print view View original

1–2 of 2 posts

Linux Foundation Announces Launch of TLA+ Foundation

#1

Post by jsmorph » Fri, Apr 21, 2023, 4:22 PM UTC

Linux Foundation Announces Launch of TLA+ Foundation
linuxfoundation.org

Re: Linux Foundation Announces Launch of TLA+ Foundation

#2

Post by 0xcafefood » Fri, Apr 21, 2023, 8:33 PM UTC

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

Post reply on HN