Search
Vilin97/lean-pool
2 skills found.
Category:
Product:
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Repair a SINGLE Lean Pool project's build against a new Lean/Mathlib release. | Vilin97/ | 1 | — | ~1.2k | Automated safety check: Pass | Apache-2.0 | 4 days ago |
| 2 | 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… | Vilin97/ | 1 | — | ~1.9k | Automated safety check: Pass | Apache-2.0 | 4 days ago |
