[东方] 史丹佛大学的完美数学教室
楼主: ainamk (腰包王道) 2025-07-11 12:15:10
https://perfect-math-class.leni.sh/
关于数学证明用的辅助程式语言Lean 4的线上课程
由东方笨蛋们亲自为学生提点语法的重要事项 ← !?!?
关于数学证明用的辅助程式语言Lean 4的线上课程
由东方笨蛋们亲自为学生提点语法的重要事项 ← !?!?
作者: Bugquan (靠近边缘) 2025-07-11 12:23:00
看了半天，还是没看到你说的东方在哪？
作者: StarTouching (抚星) 2025-07-11 12:25:00
你西出
作者: zseineo (Zany) 2025-07-11 12:26:00
点进去Introduction to Proof Assistants有图 但这个藏太深了我不知道算不算有点
楼主: ainamk (腰包王道) 2025-07-11 12:27:00
每一份slide都有一堆图 越下面的好像越多
作者: web920012003 (web920012003) 2025-07-11 15:54:00
作者: syldsk (Iluvia) 2025-07-11 16:18:00
神鬼奇航BGm
继续阅读
[闲聊] GSC 涂装瑕疵致歉公告hanx5566[GKMS] 担心琴音的手毬 LitterShripmFw: [铁道] Fate[UBW] | 联动纪念图koy784512[Vtub] 雪花拉米 这么不像会下厨吗？？stinger5009[闲聊] 希望、真实、正义、美国，川普超人！lolic[闲聊] 七龙珠激战传说 抽孙悟空战损服(真人)w790818[闲聊] Summer Pockets 泳装女仆hanx5566[发钱] 台版出完结篇啦♥第⑪集☜功德无量~~~Qorqios[刀乱] 刀剑乱舞 新极化刀：北谷菜切 (短刀)Napoleon313[问题] switch2 关于pro2手把的耳机孔太小声area223672
