Robertboy18

Profil créateur GitHub

Robertboy18

Vue par dépôt de 1 skills collectés dans 1 dépôts GitHub.

github/Robertboy18 plus grand dépôt : lev

skills collectés

1

dépôts

1

mis à jour

6 août 2026

carte des dépôts

Où se trouvent les skills

Principaux dépôts par nombre de skills collectés, avec leur part dans ce catalogue créateur et leur couverture métier.

1 skills · 6 août 2026

Développeurs de logiciels

1 catégories métier · 100 % classifié

explorateur de dépôts

Dépôts et skills représentatifs

créateur/dépôt/skill

1 skills60mis à jour 6 août 2026

100 % du créateur

skill

métier

description

mis à jour

Développeurs de logiciels

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…

1 dépôts affichés sur 1

Tous les dépôts sont affichés