Can we have reachability properties in TLA⁺?

(ahelwer.ca)

3 points | by ibobev 6 hours ago ago