Verified record · from the answer index

writing-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 librar

skill:trailofbits/skills/writing-lean-proofs · published by trailofbits · source repository