UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

6 files
../
callgraph.test.d.ts
11 B
callgraph.test.js
6.53 kB
callgraph.test.js.map
6.37 kB
toposort.test.d.ts
11 B
toposort.test.js
2.18 kB
toposort.test.js.map
2.52 kB