UNPKG
lean4-code-actions
Version:
latest (1.1.32)
1.1.32
Refactorings and snippets for Lean 4
lean4-code-actions
/
img
/
extractDefinitionToSeparateFile.gif
805 kB
image/gif
View Raw
