Anthropic Formal Math

Anthropic开源的AI形式化数学项目库，公开Claude生成的Lean证明、固定工具链与审计记录。