Quint – a new language based on TLA+ with modern syntax and developer tooling(github.com)5 points by mmmmkay 2 years ago | 1 comment