水木社区手机版
首页
|版面-力学(Mechanics)|
新版wap站已上线
展开
|
楼主
|
同主题展开
|
返回
上一篇
|
下一篇
主题:20240102~19短期课程丨数学的形式化——定理证明语言Lean入门
vinbo
|
2023-12-14 17:49:01
|
https://mp.weixin.qq.com/s/yD9dH6kDzX5IIlwyTYwoMg
https://its.westlake.edu.cn/info/1040/2008.htm
多了不说,陶哲轩最近一直在玩这个语言
--
修改:vinbo FROM 124.14.47.*
FROM 124.14.47.*
上一篇
|
下一篇
选择讨论区
首页
|
分区
|
热推
BYR-Team
©
2010.
KBS Dev-Team
©
2011
登录完整版