login sign up

GitHub - quint-co/quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

github.com
saved by
0 people
related read on
What TLA+ can and can't check from the discussion