UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 files

	Filename	Content Type	Size
	../
	BooleanArtifact.ts	text/typescript	1.06 kB
	GenericArtifact.ts	text/typescript	1.21 kB
	StringArtifact.ts	text/typescript	1.04 kB
	UrlArtifact.ts	text/typescript	1.24 kB