← Lcoalhost

Can we have reachability properties in TLA⁺?

Source : Lobsters

See it live in context on Lcoalhost →