Tankianting
Tankianting移動頁面檔案:型別理論與形式證明筆記Sec2.8-2.10.pdf至檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf：擴充內容
00:05
Tankianting 上傳了新版本的 檔案:型別理論與形式證明筆記Sec2.8-2.10.pdf
無編輯摘要
01:09
+84
01:05
+44
Type Theory and Formal Proof: An Introduction型別理論與形式證明筆記Sec2.8-2.10
01:04
+102