UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

2 files
../
callgraph.test.ts
6.06 kB
toposort.test.ts
1.57 kB