Can we have reachability properties in TLA⁺?

(ahelwer.ca)

3 points | by ibobev 7 hours ago ago

No comments yet.