「檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf」修訂間的差異

出自Tan Kian-ting的維基
跳至導覽 跳至搜尋
行 1： 行 1：
== 摘要 ==
== 摘要 ==
Type Theory and Formal Proof: An Introduction型別理論與形式證明筆記Sec2.8-2.10
Type Theory and Formal Proof: An Introduction　型別理論與形式證明筆記Sec2.8-2.10
 
Typst原始碼：[[型別理論與形式證明筆記Sec2.8-2.10.pdf/原始碼]]


[[category:邏輯學]]
[[category:邏輯學]]
[[category:資訊]]
[[category:資訊]]

於 2024年9月3日 (二) 01:09 的修訂

摘要

Type Theory and Formal Proof: An Introduction　型別理論與形式證明筆記Sec2.8-2.10

Typst原始碼：型別理論與形式證明筆記Sec2.8-2.10.pdf/原始碼

檔案歷史

點選日期/時間以檢視該時間的檔案版本。

日期/時間尺寸使用者備⁠註
目前2024年9月11日 (三) 00:050 × 0（1.44 MB）Tankianting（討論 | 貢獻）
2024年9月3日 (二) 01:041,240 × 1,753，2 頁（1.39 MB）Tankianting（討論 | 貢獻）Type Theory and Formal Proof: An Introduction型別理論與形式證明筆記Sec2.8-2.10

無法覆蓋此檔案。

下列頁面有用到此檔案：

取自「https://kianting.info/wiki/index.php?title=檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf&oldid=2782」