G github.com Quint – a new language based on TLA+ with modern syntax and developer tooling 5 points mmmmkay 3 years ago 1 comments
