自然之道，是谓数学
Archive Tags About RSS Feed
Hugo Theme Diary by Rise
移植自 Makito's Journal.

© 2018-2021 数学主义. Licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Archive Tags About RSS Feed
自然之道，是谓数学
自然之道，是谓数学 / 数学
使用 Lean 写证明（写作中）
2021-06-23