設置 | 登錄 | 註冊
Purasbar

作者共發了2篇帖子。

lean4教程

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

內容轉換：

回覆帖子
內容：
用戶名： 您目前是匿名發表。
驗證碼：
看不清？換一張
©2010-2025 Purasbar Ver3.0 [手機版] [桌面版]
除非另有聲明，本站採用知識共享署名-相同方式共享 3.0 Unported許可協議進行許可。