UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

lean4-code-actions / libs / utils / fast-check / commands

2 files

	Filename	Content Type	Size
	../
	GenericCommand.ts	text/typescript	875 B
	InternalCommand.ts	text/typescript	319 B