Can we have reachability properties in TLA⁺?

1 points | by ahelwer an hour ago

No comments yet