lean-pool

lean-pool enthält 1 gesammelte Skills von Vilin97, mit Repository-Berufsabdeckung und Skill-Detailseiten auf SkillsMP.

Vilin97-Profil Auf GitHub ansehen

gesammelte Skills

Stars

aktualisiert

2026-06-23

Forks

Berufsabdeckung

Softwareentwickler

1 Berufskategorien · 100% klassifiziert

Repository-Explorer

Skills in diesem Repository

Creator/Repository/Skill

Skill

Beruf

Beschreibung

Aktualisiert

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