fp.
newest
Open in hackernews
Can we have reachability properties in TLA⁺?
https://ahelwer.ca/post/2026-09-26-reachability/
1
•
ibobev
•
1h ago