logoalt Hacker News

esafak • yesterday at 10:06 PM • 0 replies • view on HN

Where is the TLA+ proof?