logoalt Hacker News

azaras • today at 9:48 AM • 0 replies • view on HN

I am learning TLA+ but I do not know CSP, is CSP better?