https://www.majiajun.org/2026/10/19/lean-foundations-after-hales/ 2026-10-19T06:24:50Z Ma Jia-Jun （马家骏） en Lean 的基础究竟是什么：读 Hales 的文章之后 2026-10-19T06:24:50Z Blog https://www.majiajun.org/blog/ 2026-10-19T06:24:20Z Ma Jia-Jun （马家骏） en Blog 2026-10-19T06:24:20Z Blog