top | item 36654804 Quint – a new language based on TLA+ with modern syntax and developer tooling 5 points| mmmmkay | 2 years ago |github.com 1 comment order hn newest fithisux|2 years ago This is what we call applied CS.Congratulations.
fithisux|2 years ago
Congratulations.