聽上去lean4可以用來做數學證明題_lean4吧

作者共發了3篇帖子。

	1樓啊啊是谁都对 2024-5-2 11:53 如題
	2樓啊啊是谁都对 2024-5-2 11:55 可能是錯覺，不知道理解對不對 @悄悄打開魔盒