回复 @啊啊是谁都对：有的，git clone https://github.com/leanprover-community/mathematics_in_lean.git下载mathematics...
©2010-2025 Purasbar Ver3.0
[手机版]
[桌面版]
除非另有声明，本站采用知识共享署名-相同方式共享 3.0 Unported许可协议进行许可。
回复：lean4教程回复 @啊啊是谁都对：有的，git clone https://github.com/leanprover-community/mathematics_in_lean.git下载mathematics...
|
回复：【记录】俄乌战争2024/4/22~4/28：俄军攻占奥切列季涅，威胁红军城和顿河君士坦丁罗夫卡
|
lean4教程https://leanprover-community.github.io/mathematics_in_lean/
这个教程是关于如何用lean4和mathlib4做数学的 https... |
回复：听上去lean4可以用来做数学证明题确实，不过一般是用于验证证明的正确性
|
回复：简介&安装教程不小心删除了一个横线，网址应该是https://github.com/leanprover-community/mathlib4/wiki/Using-mathlib4-as-a-dependency
|
简介&安装教程lean是一款数学形式化语言，它可以用编程语言撰写数学证明，便于计算机进行形式验证，因此一定程度上可以避免人工检查数学证明所带来的负担和错误。
类似的语言有coq，isabelle，metama... |
价格走势上个月（2024.4）最高突破7万美元
月底大跌，如今（2024.5）只有5.7万美元左右 美联储加息/降息的选择影响 |
回复：祝侃吧各位五一快乐~五一快乐
|
回复：我在很多游戏中都喜欢日常穿幽灵装上街嗯啊嗯啊
|
关注了有点像b站的梗指南，还有梗百科
|