cicddevops
skill-lean-version
Manage Lean toolchain and Mathlib versions with backup, upgrade, and rollback support
maintainer
benbrastmckie
آخر تحديث 3/10/2026
النجوم
438
التفرعات
466
quick start
Installation and usage
Manage Lean toolchain and Mathlib versions with backup, upgrade, and rollback support
التثبيت
$ install --globalskills.sh
الاستخدام
بعد التثبيت، يمكنك استخدام هذه المهارة بتشغيل الأمر التالي في الطرفية:
skills use skill-lean-version