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
Past Dependents
Include Past Dependents

Check this option to include packages that no longer depend on this package in their latest version but previously did.

Filter
Filter by Kind
All kinds
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 22 days ago
Keywords
Refactor Rename Move Snippet lean vscode vscode-extension
Repository
Stars 5 on GitHub
Forks 1 on GitHub
repos.ecosyste.ms