檔案:TypeTheoryAndFormalProofCh3Sec1.pdf

此 PDF 檔案的 JPG 預覽的大小：424 × 599 像素。

原始檔案 ‎（1,240 × 1,753 像素，檔案大小：1.39 MB，MIME 類型：application/pdf，2 頁）

摘要

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

	日期/時間	縮⁠圖	尺寸	使用者	備⁠註
目前	2024年12月26日 (四) 16:27		1,240 × 1,753，2 頁（1.39 MB）	Tankianting（討論 \| 貢獻）	https://repo.kianting.info/yoxem/notes-of-type-theory-and-formal-proof/src/branch/master/TypeTheoryAndFormalProofCh3Sec1.pdf

無法覆蓋此檔案。

沒有使用此檔案的頁面。

此檔案中包含其他資訊，這些資訊可能是由數位相機或掃描器在建立或數位化過程中所新增的。若檔案自原始狀態已被修改，一些詳細資料可能無法完整反映出已修改的檔案。