Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

lean4-code-actions

Refactorings and snippets for Lean 4

Ecosystem
npmjs.org
Latest Release
1.1.32
almost 2 years ago
Versions
1
Downloads
10 last month
    Loading...
    Readme
    Loading...
    Links
    Registry npmjs.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:npm/lean4-code-actions
    spec
    License MIT
    First Release almost 2 years ago
    Last Synced 20 days ago
    Keywords
    Refactor Rename Move Snippet lean vscode vscode-extension
    Repository
    Stars 5 on GitHub
    Forks 1 on GitHub
    repos.ecosyste.ms