lean4-code-actions

Version:

Refactorings and snippets for Lean 4

6 files

Filename	Content Type	Size
../
ensureEqString.ts	text/typescript	307 B
fromTemplateToString.test.ts	text/typescript	550 B
fromTemplateToString.ts	text/typescript	556 B
replaceEnd.test.ts	text/typescript	370 B
replaceEnd.ts	text/typescript	197 B
withSuffix.ts	text/typescript	255 B