Can we have reachability properties in TLA⁺?ahelwer.ca3 points·ibobev··0 commentsOpen articleSaveView on HN