UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

2 folders, 1 file
dist/
2.95 MB
test/
306 kB
package.json
4.29 kB