Can we have reachability properties in TLA⁺?

(ahelwer.ca) by ahelwer | Sep 26, 2026 | 0 comments on HN