陶哲轩用Lean重写教科书，写代码也能学数学

陶哲轩用Lean重写教科书，写代码也能学数学

机器之心Pro

天津

0

• 矿挖出来卖给谁？

  智慧天气通 打开APP

  

• 车友直播连麦张雪：链条骑断了。张雪直接放话：链条能断 车我送你

  时空融媒 922跟贴 打开APP

  

• 上门女婿被欺压，家庭悲剧引众怒！

  爱学习的小陆 89跟贴 打开APP

  

• 港媒曝光新作战方案，3000公里外美军航母只能被动挨打

  小蒋爱唠嗑 打开APP

  

• 当不成首相了？高市遭调查，日本炸锅，美俄给东京“下马威”

  两只米老鼠 1跟贴

  

• 近期，为啥有那么多印度人扎堆来中国？

  藏心鱼圆

  

• 许世友酒后与王新亭斗殴，刘伯承震怒直接调人

  黄丽搞笑小能手

  

• 中国减半锰矿进口，加蓬愿以新方式合作

  愿你余生安好嘴角带笑 60跟贴

  

• 俄乌冲突迎来颠覆性转折！

  周哥一影视 2跟贴

  

• 特朗普再提珍珠港，高市早苗不忍了，双方爆发激烈争吵！

  古人那点事

  

• 特朗普调解令俄方失望，俄高层为何坦言战事难赢

  天启大世界

  

• 普京要想止损，唯有斩首泽连斯基

  甜心猫独宠

  

• 雪花女神龙武功排名前十高手，半天月第四，浪子神剑第七

  冷门精选 1跟贴

  

• 忠者无敌：土匪想给将军下马威，还是太小看将军了，这下好看了

  熊猫之剪

  

• 特朗普这次当面把话说穿了！

  翡翠清泉

  

• 讲真，是球网先动手的！！！

  新媒体 36跟贴

  

• 论背景音乐的重要性！！

  新媒体 2跟贴

  

• 旁边有个抢活的…怎么办？人都过去了？

  新媒体

  

• 多喝热水，热水治百病！

  新媒体 65跟贴

  

• 这滑的挺远的哈，棒棒哒

  新媒体 2跟贴

  

• 战斗民族糗事汇，每个都是爆笑

  新媒体 8跟贴