lean-pool

lean-pool contiene 1 skills recopiladas de Vilin97, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.

Perfil de Vilin97 Ver en GitHub

skills recopiladas

Stars

actualizado

2026-06-23

Forks

Cobertura ocupacional

Desarrolladores de software

1 categorías ocupacionales · 100% clasificado

explorador de repositorios

Skills en este repositorio

creador/repositorio/skill

skill

ocupación

descripción

actualizado

version-bump

Desarrolladores de software

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