npmjs.org : lean4-code-actions
Refactorings and snippets for Lean 4
Registry
-
Source
- JSON
purl: pkg:npm/lean4-code-actions
Keywords:
Refactor
, Rename
, Move
, Snippet
, lean
, vscode
, vscode-extension
License: MIT
Latest release: about 1 year ago
First release: about 1 year ago
Downloads: 10 last month
Stars: 5 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 3 days ago
Loading...
Readme
Loading...