所有帖子_Purasbar

（我看过一些鬼屋的招聘广告，都说要求员工不能太胖）
不知道他们会不会气死

圆环之理 5-3 悄悄打开魔盒 (点击/回复: 423/3)

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

悄悄打开魔盒 5-2 悄悄打开魔盒 (点击/回复: 738/3)

如题
目前在滚动榜第五位

啊啊是谁都对 5-2 啊啊是谁都对 (点击/回复: 380/1)

啊啊是谁都对 5-2 啊啊是谁都对 (点击/回复: 468/1)

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

圆环之理 5-2 圆环之理 (点击/回复: 700/11)

如题

圆环之理 5-2 圆环之理 (点击/回复: 301/3)

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

浅风仁樱 5-2 浅风仁樱 (点击/回复: 777/18)

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

悄悄打开魔盒 5-2 悄悄打开魔盒 (点击/回复: 454/1)

全站共有主题数30475个，帖子数137621篇。

内容转换：