UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

4 files

	Filename	Content Type	Size
	../
	Global.ts	text/typescript	109 B
	testFun.ts	text/typescript	263 B
	testGetter.ts	text/typescript	445 B
	testSamples.ts	text/typescript	817 B