Lean4 Lean 4 与数学证明 Lean 4 Theorem Proving

用 Lean 4 证明助手探索数学证明：Natural Number Game、形式化验证与定理证明游戏化学习。