lean4-code-actions

Version:

Refactorings and snippets for Lean 4

8 files

Filename	Content Type	Size
../
autoImport.ts	text/typescript	5.74 kB
convertTextToList.ts	text/typescript	533 B
createFreewriteFile.ts	text/typescript	1.15 kB
createNewFile.ts	text/typescript	10.6 kB
createNewFileSet.ts	text/typescript	3.39 kB
extractDefinitionToSeparateFile.ts	text/typescript	3.94 kB
renameDefinition.ts	text/typescript	2.69 kB
setArgumentStyle.ts	text/typescript	3.4 kB