2,619
次編輯
「檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 1： | 行 1： | ||
== 摘要 == | == 摘要 == | ||
Type Theory and Formal Proof: An | Type Theory and Formal Proof: An Introduction 型別理論與形式證明筆記Sec2.8-2.10 | ||
Typst原始碼：[[型別理論與形式證明筆記Sec2.8-2.10.pdf/原始碼]] | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||
[[category:資訊]] | [[category:資訊]] | ||