Source

cameronfreer/lean4-skills

3 skills · 396 combined installs

Skills from this source

#

Skill

Source

8W Activity

Installs

lean4 Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom war…

cameronfreer/lean4-skills

lean4-theorem-proving Use when working with Lean 4 (.lean files), writing mathematical proofs, seeing "failed to synthesize instance" error…

cameronfreer/lean4-skills

lean4-memories This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful p…

cameronfreer/lean4-skills