Skip to main content
skillsmp

Menü

Jeden Skill in Manus ausführen
mit einem Klick
Vilin97
GitHub-Creator-Profil

Vilin97

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

github/Vilin97größtes Repository: lean-pool
gesammelte Skills
1
Repositories
1
aktualisiert
2026-06-23
Repository-Karte

Wo die Skills liegen

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

#01
lean-pool
1 Skills · 2026-06-23
Softwareentwickler
1 Berufskategorien · 100% klassifiziert
100%Anteil
Repository-Explorer

Repositories und repräsentative Skills

#001
lean-pool
1 Skills7013aktualisiert 2026-06-23
100% des Creators
version-bump
Softwareentwickler

Migrate the entire Lean Pool to a new Lean/Mathlib version — bump the toolchain + Mathlib + docbuild pins, repair every project's API breakage and build warnings, pass all CI gates, and open a non-draft PR. Use when the user asks to bump / migrate / upgrade the pool to a specific Lean or Mathlib version (e.g. "bump to v4.33.0-rc1", "migrate to the latest Mathlib").

2026-06-23
1 von 1 Repositories angezeigt
Alle Repositories angezeigt