Lean

Lean，交互式定理证明器和形式化验证系统，被广泛用于数学形式化及强化 AI 的逻辑推理能力验证。