A
AgentSkill
Skills
About
lean4-theorem-proving - Claude Code Skill | AgentSkill
Back to Skills
lean4-theorem-proving
Claude skills for Lean 4 theorem proving
Testing
cameronfreer
59
6
Updated Dec 27, 2025
加载文件...
Quick Start
复制 SKILL.md
ZIP
选择开发工具安装
Claude Code
OpenAI Codex
Qwen Code
Cursor
VS Code
Windsurf
GitHub
agentskills.io