Robertboy18

GitHub creator profile

Robertboy18

Repository-level view of 1 collected skills across 1 GitHub repositories.

github/Robertboy18 largest repo: lev

skills collected

1

repositories

1

updated

Aug 6, 2026

repository map

Where the skills live

Top repositories by collected skill count, with their share of this creator catalog and occupation spread.

1 skills · Aug 6, 2026

Software Developers

1 occupation categories · 100% classified

repository explorer

Repositories and representative skills

creator/repo/skill

1 skills60updated Aug 6, 2026

100% of creator

skill

occupation

description

updated

software-developers

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…

Showing 1 of 1 repositories

All repositories loaded