拥有者: cameronfreer

浏览 cameronfreer 创建的 Claude Skill 项目。

cameronfreer/lean4-skills

Claude Skill 用于 Lean 4 定理证明

⭐ 104🍴 10Shell