※ 文章網址: https://www.ptt.cc/bbs/C_Chat/M.1752207317.A.042.html
推 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