UNPKG

@informalsystems/quint

Version:

Core tool for the Quint specification language

github.com/informalsystems/quint

informalsystems/quint

3 files

	Filename	Content Type	Size
	../
	ir.d.ts	text/typescript	786 B
	ir.js	text/javascript	2.82 kB
	ir.js.map	application/json	2.02 kB