2,728
次編輯
「Program=Proof筆記」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 1： | 行 1： | ||
{{Nav|程式語言、邏輯學}} | |||
: 題名：Program=Proof | : 題名：Program=Proof | ||
: 中譯：證明=程式 | : 中譯：證明=程式 | ||