「檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf」修訂間的差異
跳至導覽
跳至搜尋
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） 小 （Tankianting移動頁面檔案:型別理論與形式證明筆記Sec2.8-2.10.pdf至檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf：擴充內容） |
| （未顯示同一使用者於中間所作的 1 次修訂） | |
（無差異）
| |
於 2024年9月11日 (三) 00:05 的最新修訂
摘要
Type Theory and Formal Proof: An Introduction 型別理論與形式證明筆記Sec2.8-2.10
Typst原始碼：型別理論與形式證明筆記Sec2.8-2.10.pdf/原始碼
檔案歷史
點選日期/時間以檢視該時間的檔案版本。
| 日期/時間 | 尺寸 | 使用者 | 備註 | |
|---|---|---|---|---|
| 目前 | 2024年9月11日 (三) 00:05 | 0 × 0（1.44 MB） | Tankianting（討論 | 貢獻） | |
| 2024年9月3日 (二) 01:04 | 1,240 × 1,753，2 頁（1.39 MB） | Tankianting（討論 | 貢獻） | Type Theory and Formal Proof: An Introduction型別理論與形式證明筆記Sec2.8-2.10 |
無法覆蓋此檔案。
檔案用途
下列頁面有用到此檔案：
- 檔案:型別理論與形式證明筆記Sec2.8-2.10.pdf (檔案重新導向)