Quint – a new language based on TLA+ with modern syntax and developer toolinggithub.com/informalsystems5 pointsmmmmkay3 years ago