Skills
Audits
Docs
skills
/
cameronfreer
/
lean4-skills
cameronfreer/lean4-skills
3 skills
59 total installs
GitHub
$
npx skills add cameronfreer/lean4-skills
Skill
Installs
lean4
39
lean4-theorem-proving
11
lean4-memories
9