Core tool for the Quint specification language
github.com/informalsystems/quint
informalsystems/quint
Latest: 0.30.0
2 days ago