cicddevops
skill-lean-version
Manage Lean toolchain and Mathlib versions with backup, upgrade, and rollback support
maintainer
benbrastmckie
Updated 3/10/2026
Stars
438
Forks
466
quick start
Installation and usage
Manage Lean toolchain and Mathlib versions with backup, upgrade, and rollback support
Installation
$ install --globalskills.sh
Usage
Once installed, you can use this skill by running the following command in your terminal:
skills use skill-lean-version