2,619
次編輯
「型別理論與形式證明筆記」修訂間的差異
→附註：本筆記使用的邏輯推演排版法
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 126： | 行 126： | ||
<pre> | <pre> | ||
(a) * | (a) *假設A* | ||
(b) | * | (b) | *假設B* | ||
(1) | | C | (1) | | C | ||
| | ⋮ | | | ⋮ | ||
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 126： | 行 126： | ||
<pre> | <pre> | ||
(a) * | (a) *假設A* | ||
(b) | * | (b) | *假設B* | ||
(1) | | C | (1) | | C | ||
| | ⋮ | | | ⋮ | ||