UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

9 files

	Filename	Content Type	Size
	../
	collector.test.d.ts	text/typescript	11 B
	collector.test.js	text/javascript	14.4 kB
	collector.test.js.map	application/json	11.1 kB
	resolver.test.d.ts	text/typescript	11 B
	resolver.test.js	text/javascript	9.1 kB
	resolver.test.js.map	application/json	7.7 kB
	unshadower.test.d.ts	text/typescript	11 B
	unshadower.test.js	text/javascript	1.96 kB
	unshadower.test.js.map	application/json	1.01 kB