cicddevops
skill-lean-version
Manage Lean toolchain and Mathlib versions with backup, upgrade, and rollback support
maintainer
benbrastmckie
Обновлено 10.03.2026
Звёзды
438
Форки
466
quick start
Installation and usage
Manage Lean toolchain and Mathlib versions with backup, upgrade, and rollback support
Установка
$ install --globalskills.sh
Использование
После установки вы можете использовать этот skill, выполнив следующую команду в терминале:
skills use skill-lean-version