UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

2 folders, 3 files

	Filename	Content Type	Size
	../
	Argument/	–	509 B
	Lsp/	–	1.04 kB
	SnippetString.ts	text/typescript	1.3 kB
	StyleCharacterPair.ts	text/typescript	434 B
	index.ts	text/typescript	1.44 kB