lean4教程_lean4吧

作者共发了2篇帖子。

	2楼啊啊是谁都对 2024-5-2 17:26 感覺使用lean4很像用計算機編程
	啊啊是谁都对 2024-5-2 17:42 有無最簡單的實例？