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