Verified record · from the answer index
lean4
skilltested · static-verifiedscore 25/100signed passport ✓published 257d ago · verified 2026-10-240 uses
Use when editing .lean files, seeing type mismatch/sorry/failed to synthesize instance/axiom warnings, lake build errors, or searching mathlib for theorem proofs.
Declared tools (1)
lean4
skill:cameronfreer/lean4-skills/lean4 · published by cameronfreer · source repository