lean4-skills

Lean 4 theorem proving skill and workflow pack for AI coding agents

本页的项目背景与编辑内容均可免费阅读。原始 GitHub 仓库仍是最终依据；只有收藏或参与讨论时才需要登录。