UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

3 files
../
collector.test.ts
11.7 kB
resolver.test.ts
7.85 kB
unshadower.test.ts
1.71 kB