🏪

beneficial-ai-foundation-lean4-claude-plugin

🏪Marketplace

Beneficial-AI-Foundation/lean4-claude-plugin

developmentlanguagelean4provingservertheorem

Add this Marketplace

Add marketplace in Claude Code:

/plugin marketplace add alok/lean4-claude-plugin

1Plugins

1

Last UpdatedFeb 8, 2026

Plugins in this Marketplace

lean4

View on GitHub Back to Marketplaces