logoalt Hacker News

esafak • yesterday at 10:06 PM • 1 reply • view on HN

Where is the TLA+ proof?

Replies

Betelbuddy • today at 8:59 AM

TLA+ does not do what you think it does.