Robertboy18

Perfil de criador do GitHub

Robertboy18

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

github/Robertboy18 maior repositório: lev

skills coletadas

1

repositórios

1

atualizado

6 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 · 6 de ago. de 2026

Desenvolvedores de software

1 categorias ocupacionais · 100% classificado

100%participação

explorador de repositórios

Repositórios e skills representativas

criador/repositório/skill

1 skills60atualizado 6 de ago. de 2026

100% do criador

skill

ocupação

descrição

atualizado

Desenvolvedores de software

Use lev to initialize, synchronize, lock, build, test, run, inspect, and troubleshoot Lean 4 and Lake projects. Use when working with lean-toolchain, lakefile.toml, lakefile.lean, lake-manifest.json, lev.lock, or lev.toml; when changing Lean toolchains or…

6 de ago. de 2026

Mostrando 1 de 1 repositórios

Todos os repositórios foram exibidos