cameronfreer/lean4-skills
3 skills21 installsGitHub
Install
npx skills add https://github.com/cameronfreer/lean4-skillsSkills in this repo
1Lean4 Theorem Provinglean4-theorem-proving is a Claude Code skill for ai & agent building. It helps solo builders move faster with AI-assisted coding.11installs2Lean4 Memorieslean4-memories is a Claude Code skill for ai & agent building. It helps solo builders move faster with AI-assisted coding.9installs3Lean4lean4 is a Claude Code skill for ai & agent building. It helps solo builders move faster with AI-assisted coding.1installs