設置 | 登錄 | 註冊
Purasbar

作者共發了1篇帖子。

lean4中文教程

1樓 悄悄打开魔盒 2024-5-17 11:51
https://lixiang90.github.io/mathematics_in_lean_CN/index.html

翻译进行中
英文原版见：

https://leanprover-community.github.io/mathematics_in_lean/index.html

內容轉換：

回覆帖子
內容：
用戶名： 您目前是匿名發表。
驗證碼：
看不清？換一張