[東方] 史丹佛大學的完美數學教室
作者: 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
