Claude Skill
cameronfreer/lean4-skills
用于 Lean 4 定理证明的 Claude Skill。通过此仓库配置 AI 辅助的形式化验证，自动化证明步骤，并增强数学推理工作流。
概览
Stars104
Forks10
语言Shell
最后更新2026-01-24
最近同步2026-02-01
仓库信息
拥有者cameronfreer
仓库lean4-skills
完整名称cameronfreer/lean4-skills
Repo ID1,078,533,201
项目简介
一个 Claude Skill 仓库，提供用于 Lean 4 定理证明的工具和配置，支持 AI 辅助的形式化验证和数学推理。
英文描述
Claude skills for Lean 4 theorem proving
要点
- 为 Lean 4 集成的 Claude Skill
- AI 辅助定理证明设置
- 形式化验证工作流配置
使用场景
- 使用 AI 自动化 Lean 4 证明步骤
- 在 Claude 辅助下学习形式化验证
- 增强数学推理工作流
话题
暂无话题
探索更多
数据来自 GitHub，同步时间：2026-02-01