Claude Code skill plugin for cleaning up and bringing Lean 4 code to mathlib standards.
27
Stars
66/100
信任
分类: coding-agents审计
每个推荐都保留与其仓库、审计和安装路径的明确关联。
每个推荐都保留与其仓库、审计和安装路径的明确关联。
Claude Code skill plugin for cleaning up and bringing Lean 4 code to mathlib standards.