Skills/CAMERONFREERCAMERONFREER1 repo · 3 skills · 21 installs · GitHubRepositoriescameronfreer/lean4-skills3 skills · 21 installslean4-theorem-proving, lean4-memories, lean4