Plugin Claude Code
Bundles 2 skills, 24 commands, 2 hooks · 1,485 tokens together
Prove, clean up, golf, and bring Lean 4 code up to mathlib standards.
not rated 35
changed 5d ago A
tokens not measured
original MIT
Plugin Claude Code
Bundles 2 skills, 24 commands, 2 hooks · 1,485 tokens together
Prove, clean up, golf, and bring Lean 4 code up to mathlib standards.