5 ms·Quint – a new language based on TLA+ with modern syntax and developer tooling5 points by mmmmkay 3y agofithisux 3y agoThis is what we call applied CS. Congratulations.