Lean FRO, LLC avatar

Leanprover

leanprover/skills · 1 plugin

1 plugins

/plugin marketplace add leanprover/skills
GitHub stars★ 50
Repositoryleanprover/skills ↗

Plugins in this marketplace

1 plugin - install individually after you add the marketplace.

PluginVersion
LeanSkills for developing with Lean 4-

Recommended Marketplaces

0k-software0k Plugins1 plugins0xgonzalo0xgonzalo1 pluginsobat0xobat Skills5 pluginsHenry Chu104 Jobhunt1 plugins2yukurash16 Minds Marketplace1 plugins31WP1wp Plugins1 plugins2
Development Toolsintegrations
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.