lean4-code-actions

Version:

Refactorings and snippets for Lean 4

8 files

Filename	Content Type	Size
../
autoImport.gif	image/gif	707 kB
convertTextToList.gif	image/gif	673 kB
createNewFile.gif	image/gif	847 kB
extractDefinitionToSeparateFile.gif	image/gif	805 kB
icon.128x128.png	image/png	6.46 kB
rename.gif	image/gif	278 kB
setArgumentStyle.gif	image/gif	1.04 MB
updateImports.gif	image/gif	1.68 MB