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

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

机器之心Pro

天津

0

• 婆婆偷走我的积蓄

  苗苗情感说 5跟贴 打开APP

  

• 猖狂的宾利女就是祸害，黑白相争总警监牺牲！

  筱钰说故事 164跟贴 打开APP

  

• 美伊交火第8天，中俄同时发出警告：海湾国家要做出正确选择

  王晓爱体彩 打开APP

  

• 萧旭岑辞去执行长一职，郑丽文做出嘱托，蓝委徐巧芯彻底不演了

  糖逗在娱乐 打开APP

  

• 伊朗第三十波反击震撼中东，美以基地遇袭，特朗普态度骤变

  胡又扯

  

• 即将成名的女模特居然是个男人

  裁判解说 3跟贴

  

• 伊朗新领袖硬刚美以，乌克兰突然宣布下场，10部美军雷达被端！

  川川看世界灬 2跟贴

  

• 台媒：美伊战争最新消息

  靓仔情感

  

• 测试前妻的后果！

  玉波易友 13跟贴

  

• 6：500，美阵亡人数还能瞒多久？伊朗放话奉陪到底，特朗普失算了

  健身狂人

  

• 最新公开二战德国“人民冲锋队”影像，600万人被当炮灰拉上战场

  娱乐圈的哔哔王

  

• 新婚夜丈夫说以后家里收入全上交婆婆，我第二天让他愣在原地

  白浅娱乐聊

  

• 伊朗改变策略，换了新的打法，特朗普受不了了，着急搬救兵！

  军武时间线

  

• 交战第8天，伊朗总统宣告，绝不可能无条件投降，反将特朗普一军

  小豆豆赛事

  

• 婆婆给孙辈每人发1万红包，唯独没给我儿子，我默默取消全家旅行

  小奶鲫野外钓鱼

  

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

  新媒体 1跟贴

  

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

  新媒体

  

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

  新媒体

  

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

  新媒体 65跟贴

  

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

  新媒体 2跟贴

  

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

  新媒体 8跟贴