UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

7 folders, 2 files

	Filename	Content Type	Size
	../
	commands/	–	31.5 kB
	i18n/	–	229 B
	listeners/	–	3.35 kB
	models/	–	7.53 kB
	providers/	–	2.51 kB
	test/	–	667 B
	utils/	–	21.1 kB
	constants.ts	text/typescript	435 B
	extension.ts	text/typescript	8.64 kB