Quint – a new language based on TLA+ with modern syntax and developer tooling (github.com) 5 points by mmmmkay 3y ago ↗ HN
1 comment
[ 4.7 ms ] story [ 19.0 ms ] threadCongratulations.