https://perfect-math-class.leni.sh/ 關於數學證明用的輔助程式語言Lean 4的線上課程 由東方笨蛋們親自為學生提點語法的重要事項 ← !?!? -- ※ 發信站: 批踢踢實業坊(pttsite.org.tw), 來自: 120.126.108.253 (臺灣) ※ 文章網址: https://pttsite.org.tw/C_Chat/M.1752207317.A.042

推 Bugquan: 看了半天，還是沒看到你說的東方在哪？ 07/11 12:23

噓 StarTouching: 你西出 07/11 12:25

→ zseineo: 點進去Introduction to Proof Assistants有圖 但這個藏 07/11 12:26

→ zseineo: 太深了我不知道算不算有點 07/11 12:26

→ ainamk: 每一份slide都有一堆圖 越下面的好像越多 07/11 12:27

推 yovroc: 有人可以分析一下包養平台的差異嗎 07/11 12:27