add-dependency
Add a dependency to a Lean project's lakefile. Use when adding requires, dependencies, or imports to a project.
$ 安裝
git clone https://github.com/nathanial/lean-workspace /tmp/lean-workspace && cp -r /tmp/lean-workspace/.claude/skills/add-dependency ~/.claude/skills/lean-workspace// tip: Run this command in your terminal to install the skill
Repository
nathanial
Author
nathanial/lean-workspace/.claude/skills/add-dependency
0
Stars
0
Forks
Updated1w ago
Added1w ago