UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

3 files
../
flattener.test.ts
7.35 kB
fullFlattener.test.ts
5.14 kB
instanceFlattener.test.ts
4.19 kB