UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

1 folder, 6 files

	Filename	Content Type	Size
	../
	Lean/	–	2.78 kB
	FileBrand.ts	text/typescript	665 B
	FileContentVariety.ts	text/typescript	1.27 kB
	FileInfo.ts	text/typescript	2.01 kB
	FileTag.ts	text/typescript	37 B
	Filename.ts	text/typescript	69 B
	NewTypeKeyword.ts	text/typescript	691 B