lean4-code-actions

DenisGorbachev
js
lean4-code-actions JS library on GitHub lean4-code-actions JS library on npm Download lean4-code-actions JS library

Refactorings and snippets for Lean 4

Version 1.1.32 License MIT
lean4-code-actions has no homepage
lean4-code-actions JS library on GitHub
lean4-code-actions JS library on npm
Download lean4-code-actions JS library
Keywords
RefactorRenameMoveSnippet
INSTALL
Version:
Learn more
Readme Files Statistics Browse CDN