computational-chemistryresearch
mathproofs-claw
Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.
maintainer
openclaw
업데이트됨 3/24/2026
스타
4001
포크
1095
quick start
Installation and usage
Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.
설치
$ install --globalskills.sh
사용법
설치 후 터미널에서 다음 명령을 실행하여 이 스킬을 사용할 수 있습니다:
skills use mathproofs-claw