Robertboy18

GitHub-Creator-Profil

Robertboy18

Repository-Ansicht von 1 gesammelten Skills in 1 GitHub-Repositories.

github/Robertboy18 größtes Repository: lev

gesammelte Skills

1

Repositories

1

aktualisiert

6. Aug. 2026

Repository-Karte

Wo die Skills liegen

Top-Repositories nach gesammelter Skill-Anzahl, mit ihrem Anteil an diesem Creator-Katalog und ihrer Berufsverteilung.

1 Skills · 6. Aug. 2026

Softwareentwickler

1 Berufskategorien · 100 % klassifiziert

Repository-Explorer

Repositories und repräsentative Skills

Creator/Repository/Skill

1 Skills60aktualisiert 6. Aug. 2026

100 % des Creators

Skill

Beruf

Beschreibung

Aktualisiert

Softwareentwickler

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 von 1 Repositories angezeigt

Alle Repositories angezeigt