Owner: cameronfreer

Browse Claude Skill projects created by cameronfreer.

cameronfreer/lean4-skills

Claude skills for Lean 4 theorem proving

⭐ 104🍴 10Shell