o6lvl4 avatar

Lean4 Practice

O6lvl4/lean4-practice · 1 plugin

Lean 4 code generation best practices. Use when writing Lean 4 code to avoid common AI mistakes with syntax, types, tactics, and project configuration.

/plugin marketplace add O6lvl4/lean4-practice
RepositoryO6lvl4/lean4-practice ↗

Plugins in this marketplace

1 plugin - install individually after you add the marketplace.

PluginVersion
Lean4 PracticeLean 4 code generation best practices. Use when writing Lean 4 code to avoid common AI mistakes with syntax, types, tactics, and project configuration.-

Recommended Marketplaces

devkade1d1s1 pluginsBrian Claridge3am.Bot1 plugins1ybgwon965h1w1 pluginsabdielouAbdielou Discovery Skill1 pluginsabeyuyaAbeyuya Skills1 pluginsrizkiridhaAbstract To Concrete Design1 plugins6
Productivitypmworkflow
Browse by category
AI & AgentsFrontend & DesignBackend & DataDev ToolsAutomationTesting & ReviewSecurityMonitoring & CloudDocs & Planning
Design & frontend
Design systemsAnimation & motionAccessibility (a11y)CSS & TailwindUI designUXDesign to codeshadcn/uiLanding pagesBest design skills

This week for builders

Five minutes, every Monday — the tools, releases and tactics for shipping solo.

unsubscribe anytime.