testingtesting-security
openmath-lean-theorem
Configures Lean environments, installs external proof skills, runs preflight checks, and guides the workflow for proving downloaded OpenMath Lean theorems locally.
maintainer
openclaw
Обновлено 3/25/2026
Звёзды
4001
Форки
1095
quick start
Installation and usage
Configures Lean environments, installs external proof skills, runs preflight checks, and guides the workflow for proving downloaded OpenMath Lean theorems locally.
Установка
$ install --globalskills.sh
Использование
После установки вы можете использовать этот skill, выполнив следующую команду в терминале:
skills use openmath-lean-theorem