Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Quint – a new language based on TLA+ with modern syntax and developer tooling
github.com/informalsystems
5 points
mmmmkay
3 years ago
1 comment
Loading...
Quint – a new language based on TLA+ with modern syntax and developer tooling | Heykuki News