目前共有3篇帖子。
lean4的简单程序
 |
看来在lean4中，#没有注释的作用
|
 |
两横线 -- 是注释， 井号后面一般是关键字，比如说#check，#eval
|
|
回复 @悄悄打开魔盒：原来如此，那看来和一般的编程程序还不太一样
|
目前共有3篇帖子。
|
看来在lean4中，#没有注释的作用
|
|
两横线 -- 是注释， 井号后面一般是关键字，比如说#check，#eval
|
|
回复 @悄悄打开魔盒：原来如此，那看来和一般的编程程序还不太一样
|
