作者
標題 [東方] 史丹佛大學的完美數學教室
時間 Fri Jul 11 12:15:10 2025
標題 [東方] 史丹佛大學的完美數學教室
時間 Fri Jul 11 12:15:10 2025
https://perfect-math-class.leni.sh/
關於數學證明用的輔助程式語言Lean 4的線上課程
由東方笨蛋們親自為學生提點語法的重要事項 ← !?!?
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 120.126.108.253 (臺灣)
※ 作者: ainamk 2025-07-11 12:15:10
※ 文章代碼(AID): #1eS8_L12 (C_Chat)
※ 文章網址: https://www.ptt.cc/bbs/C_Chat/M.1752207317.A.042.html
推 : 看了半天，還是沒看到你說的東方在哪？1F 07/11 12:23
噓 : 你西出2F 07/11 12:25
→ : 點進去Introduction to Proof Assistants有圖 但這個藏太深了我不知道算不算有點3F 07/11 12:26
→ : 每一份slide都有一堆圖 越下面的好像越多5F 07/11 12:27
![[圖]](https://i.imgur.com/hgwUomNh.jpeg)
→ : 神鬼奇航BGm7F 07/11 16:18
--