Back to All Skills
Lean4 Proof Assistant
skillsbench•benchmark•👍 156 upvotes
Finalize mathematical proofs using the Lean 4 theorem prover. Tests formal reasoning capabilities.
formal-methodlean4prooftheorem
📦 Installation
git clone https://github.com/benchflow-ai/skillsbench📖 About This Skill
Finalize mathematical proofs using the Lean 4 theorem prover. Tests formal reasoning capabilities.
Features
- Works with claude-code
- Part of the skillsbench skills collection
- Category: benchmark
Getting Started
After installing the skill, simply mention it in your conversation or use the relevant command. The AI will automatically apply the skill's instructions to help you complete your task.