UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 files

	Filename	Content Type	Size
	../
	ensure.ts	text/typescript	213 B
	index.ts	text/typescript	43 B
	predicates.ts	text/typescript	148 B
	utils.ts	text/typescript	107 B