lean4教程_lean4吧

作者共發了2篇帖子。

	2樓啊啊是谁都对 2024-5-2 17:26 感觉使用lean4很像用计算机编程
	啊啊是谁都对 2024-5-2 17:42 有无最简单的实例？