cameronfreer

Perfil de criador do GitHub

cameronfreer

Visão por repositório de 1 skills coletadas em 1 repositórios do GitHub.

github/cameronfreer maior repositório: lean4-skills

skills coletadas

1

repositórios

1

atualizado

24 de ago. de 2026

mapa de repositórios

Onde as skills estão

Principais repositórios por número de skills coletadas, com sua participação neste catálogo do criador e sua distribuição ocupacional.

1 skills · 24 de ago. de 2026

classificação pendente

100%participação

explorador de repositórios

Repositórios e skills representativas

criador/repositório/skill

1 skills41744atualizado 24 de ago. de 2026

100% do criador

skill

ocupação

descrição

atualizado

sem classificação

Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching mathlib for lemmas, formalizing mathematics in Lean, finding a counterexample to, refuting, or disproving…

24 de ago. de 2026

Mostrando 1 de 1 repositórios

Todos os repositórios foram exibidos