Skip to main content
skillsmp

Menu

leanprover-community
Perfil de criador do GitHub

leanprover-community

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

github/leanprover-communitymaior repositório: lean-update
skills coletadas
2
repositórios
2
atualizado
17 de jun. 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.

#01
lean-update
1 skills · 17 de jun. de 2026
Desenvolvedores de software
1 categorias ocupacionais · 100% classificado
50%participação
#02
bundle
1 skills · 26 de mar. de 2026
Administradores de redes e sistemas de computador
1 categorias ocupacionais · 100% classificado
50%participação
explorador de repositórios

Repositórios e skills representativas

Mostrando 2 de 2 repositórios
Todos os repositórios foram exibidos