Can we have reachability properties in TLA⁺?

3 pointsposted 7 hours ago
by ibobev
(ahelwer.ca)

No comments yet