UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

6 files

	Filename	Content Type	Size
	../
	compile.test.d.ts	text/typescript	11 B
	compile.test.js	text/javascript	48.8 kB
	compile.test.js.map	application/json	33.6 kB
	trace.test.d.ts	text/typescript	11 B
	trace.test.js	text/javascript	4.94 kB
	trace.test.js.map	application/json	5.49 kB