听上去lean4可以用来做数学证明题_lean4吧

作者共发了3篇帖子。

	1楼啊啊是谁都对 2024-5-2 11:53 如题
	2楼啊啊是谁都对 2024-5-2 11:55 可能是错觉，不知道理解对不对 @悄悄打开魔盒