new-project
Scaffold a new Lean 4 project in the workspace. Use when creating a new project, library, or application.
$ Installieren
git clone https://github.com/nathanial/lean-workspace /tmp/lean-workspace && cp -r /tmp/lean-workspace/.claude/skills/new-project ~/.claude/skills/lean-workspace// tip: Run this command in your terminal to install the skill
Repository
nathanial
Author
nathanial/lean-workspace/.claude/skills/new-project
0
Stars
0
Forks
Updated1w ago
Added1w ago