quint-co/quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

5 best points · 2 comments · 1 Hacker News post · 1,960 GitHub stars · View on GitHub

Hacker News discussions

• An executable specification language based on temporal logic of actions (TLA) (5 points, 2 comments, by mooreds, 2026-10-18)