UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

2 folders, 1 file
dist/
2.84 MB
test/
298 kB
package.json
4.03 kB