Verified record · from the answer index
lean4
skilltested · static-verifiedscore 20/100signed passport ✓published 254d ago · verified 2026-10-200 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