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
استعمال
انسٹال کرنے کے بعد، آپ یہ اسکل ٹرمینل میں درج ذیل کمانڈ چلا کر استعمال کر سکتے ہیں:
skills use openmath-lean-theorem