Thomas Hales：通过 Lean 检查之后，还需要相信什么？

• Thomas Hales：通过 Lean 检查之后，还需要相信什么？

时间线

• 2026-10-11 日报