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