目前共有3篇帖子。
lean4的簡單程序
 |
看來在lean4中，#沒有註釋的作用
|
 |
兩橫線 -- 是註釋， 井號後面一般是關鍵字，比如說#check，#eval
|
|
回復 @悄悄打開魔盒：原來如此，那看來和一般的編程程序還不太一樣
|
目前共有3篇帖子。
|
看來在lean4中，#沒有註釋的作用
|
|
兩橫線 -- 是註釋， 井號後面一般是關鍵字，比如說#check，#eval
|
|
回復 @悄悄打開魔盒：原來如此，那看來和一般的編程程序還不太一樣
|
