new-project
Skillby majiayu000
Scaffold a new Lean 4 project in the workspace. Use when creating a new project, library, or application.
Details
- Path
- development/new-project-nathanial-lean-workspace/SKILL.md
Scaffold a new Lean 4 project in the workspace. Use when creating a new project, library, or application.