自然之道，是谓数学
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
自然之道，是谓数学
2021
Lean Theorem Prover 安装手记
2021-06-26    
使用 Lean 写证明（写作中）
2021-06-23    
我的 LyX 快捷键 (v1.0)
2021-05-04