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