所有帖子_Purasbar

https://leanprover-community.github.io/mathematics_in_lean/
这个教程是关于如何用lean4和mathlib4做数学的
https...

悄悄打开魔盒 5-2 悄悄打开魔盒 (點擊/回復: 1776/3)

如题

啊啊是谁都对 5-2 巨大八爪鱼 (點擊/回復: 889/1)

如题
目前在滚动榜第五位

啊啊是谁都对 5-2 啊啊是谁都对 (點擊/回復: 926/1)

如题

啊啊是谁都对 5-2 啊啊是谁都对 (點擊/回復: 1198/2)

啊啊是谁都对 5-2 啊啊是谁都对 (點擊/回復: 1035/1)

如题

圆环之理 5-2 圆环之理 (點擊/回復: 3078/22)

其实是蹭隔壁一家店的Wifi的
但是后来隔壁一家店的Wifi坏了
所以现在在健身房就又得用自己的流量了

圆环之理 5-2 圆环之理 (點擊/回復: 1646/11)

如题

啊啊是谁都对 5-2 啊啊是谁都对 (點擊/回復: 1324/4)

如题

圆环之理 5-2 圆环之理 (點擊/回復: 906/3)

亲爱的用户：欢迎来到梯子吧，Purasbar欢迎您的到来~
请先阅读我们的社区准则：
https://zh.purasbar.com/documents/eula/
以及版权...

社区管理员 5-2 社区管理员 (點擊/回復: 756/0)

为什么没有任何一个人会认为圆神不算真的【喜欢扮鬼吓人】？

浅风仁樱 5-2 浅风仁樱 (點擊/回復: 1840/18)

一楼留空，以备未来修改

浅风仁樱 5-2 浅风仁樱 (點擊/回復: 956/1)

lean是一款数学形式化语言，它可以用编程语言撰写数学证明，便于计算机进行形式验证，因此一定程度上可以避免人工检查数学证明所带来的负担和错误。
类似的语言有coq，isabelle，metama...

悄悄打开魔盒 5-2 悄悄打开魔盒 (點擊/回復: 1100/1)

亲爱的用户：欢迎来到lean4吧，Purasbar欢迎您的到来~
请先阅读我们的社区准则：
https://zh.purasbar.com/documents/eula/
以...

社区管理员 5-2 社区管理员 (點擊/回復: 825/0)

亲爱的用户：欢迎来到蝙蝠聊天吧，Purasbar欢迎您的到来~
请先阅读我们的社区准则：
https://zh.purasbar.com/documents/eula/
以及...

社区管理员 5-2 圆环之理 (點擊/回復: 752/1)

全站共有主題數34084個，帖子數162461篇。