UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

2 folders, 1 file
dist/
2.89 MB
test/
300 kB
package.json
4.19 kB