我的博客
Search
搜索
暗色模式
亮色模式
探索
标签: mathematics
此标签下有14条笔记。
2026年5月25日
Mathematics in Lean 导读
lean4
mathematics
mathlib
tutorial
导读
2026年5月25日
Ch1 入门 - 深度伴读
lean4
mathematics
companion
伴读
2026年5月25日
Ch2 基础 - 深度伴读
lean4
mathematics
companion
伴读
2026年5月25日
Ch3 逻辑 - 深度伴读
lean4
mathematics
companion
伴读
2026年5月25日
Ch4 集合与函数 - 深度伴读
lean4
mathematics
companion
伴读
2026年5月25日
Ch5 初等数论 - 深度伴读
lean4
mathematics
companion
伴读
2026年5月25日
Ch6 离散数学 - 深度伴读
lean4
mathematics
companion
伴读
2026年5月25日
Ch7 结构 - 深度伴读
lean4
mathematics
companion
伴读
2026年5月25日
Ch8 层级 - 深度伴读
lean4
mathematics
companion
伴读
2026年5月25日
Ch9 群与环 - 深度伴读
lean4
mathematics
companion
伴读
2026年5月25日
Ch10 线性代数 - 深度伴读
lean4
mathematics
companion
伴读
2026年5月25日
Ch11 拓扑 - 深度伴读
lean4
mathematics
companion
伴读
2026年5月25日
Ch12 微分学 - 深度伴读
lean4
mathematics
companion
伴读
2026年5月25日
Ch13 积分与测度论 - 深度伴读
lean4
mathematics
companion
伴读