🔌

lean

🔌Plugin

leanprover/skills

|

What it does

Security check pending

Skills for developing with Lean 4

Part of

leanprover-skills

Installation

Add marketplace in Claude Code:

/plugin marketplace add leanprover/skills

Step 2. Install plugin:

/plugin install lean@leanprover

0

-

AddedFeb 24, 2026

View on GitHub Back to Plugins

More from this repository1

leanprover-skills🏪Marketplace

Marketplace