UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

2 folders, 4 files

	Filename	Content Type	Size
	../
	Read/	–	171 B
	Write/	–	105 B
	index.ts	text/typescript	2.5 kB
	map.ts	text/typescript	429 B
	memory.ts	text/typescript	502 B
	record.ts	text/typescript	517 B