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

Y	Hacker News new \| ask \| show \| jobs

	Quint – a new language based on TLA+ with modern syntax and developer tooling (github.com)
	5 points by mmmmkay 1070 days ago

1 comments

This is what we call applied CS.

Congratulations.