An executable specification language based on temporal logic of actions (TLA)

(github.com) by mooreds | Oct 18, 2026 | 0 comments on HN