UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

5 files

	Filename	Content Type	Size
	../
	HieroName.ts	text/typescript	296 B
	HieroNameString.ts	text/typescript	110 B
	Name.ts	text/typescript	1.38 kB
	NonEmptyNames.ts	text/typescript	314 B
	SyntaxNodes.ts	text/typescript	680 B