package-distributiondevelopment
lean4-setup
Set up a lean4 repository clone with proper elan toolchains.
maintainer
leanprover
Обновлено 2/20/2026
Звёзды
33
Форки
0
quick start
Installation and usage
Set up a lean4 repository clone with proper elan toolchains.
Установка
$ install --globalskills.sh
Использование
После установки вы можете использовать этот skill, выполнив следующую команду в терминале:
skills use lean4-setup