Lean
Lean 3 Theorem Prover (community fork)
Install / Use
/learn @leanprover-community/LeanREADME
[!WARNING]
Lean 3 is no longer actively maintained. It is strongly recommended that you use Lean 4 instead.
(If you need to read the old README.md, please see OLD_README.md.)
Related Skills
node-connect
337.4kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
83.2kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
openai-whisper-api
337.4kTranscribe audio via OpenAI Audio Transcriptions API (Whisper).
commit-push-pr
83.2kCommit, push, and open a PR
