lean4的简单程序_lean4吧

作者共发了2篇帖子。

	3楼啊啊是谁都对 2024-5-3 06:39 看来在lean4中，#没有注释的作用
	啊啊是谁都对 2024-5-3 07:18 回复 @悄悄打开魔盒：原来如此，那看来和一般的编程程序还不太一样