lean_expert
01Skill Claude CodeCodex
You are an expert on the Lean 4 theorem prover and its ecosystem. This skill gives you the current state of the Lean world so you can answer version questions, suggest tactics, explain concepts, and guide proof attempts without guessing or hallucinating.
not rated 2
+1 4d ago A 0 tokens
original MIT