Use This Skillwriting-lean-proofs
Writes and reviews structured Lean 4 proofs and designs Lean libraries following Mathlib conventions. Use when proving theorems in Lean, formalizing mathematics or specifications in Lean 4, defining new types or definitions in a Lean library, reviewing Lean proofs for readability and maintainability, refactoring long tactic proofs into lemmas, filling in sorry placeholders in a Lean development…
npx degit trailofbits/skills/plugins/writing-lean-proofs/skills/writing-lean-proofs .claude/skills/writing-lean-proofs12 alternatives · Best design skills · Author? Prove this skill
Read this skill at its source
The repo doesn’t state an open license, so we link to it rather than showing the text here.
Open on GitHub