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