Quint – a new language based on TLA+ with modern syntax and developer tooling

This is what we call applied CS.

Congratulations.