CBirkbeck avatar

Mathlib Quality Plugins

CBirkbeck/mathlib-quality · 1 plugin

1 plugins

/plugin marketplace add CBirkbeck/mathlib-quality
GitHub stars★ 18
RepositoryCBirkbeck/mathlib-quality ↗

Plugins in this marketplace

1 plugin - install individually after you add the marketplace.

PluginVersion
Mathlib QualityClean up, golf, and bring Lean 4 code up to mathlib standards before PR submission0.2.0

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.