設置 | 登錄 | 註冊

如果被父母知道,我是为了获得去鬼屋做NPC的资格才坚持去健身房锻炼的

(我看过一些鬼屋的招聘广告,都说要求员工不能太胖)
不知道他们会不会气死
圆环之理 5-3 悄悄打开魔盒 (點擊/回復: 423/3)

开始做楼中楼功能 [已处理区]

预计一个星期的时间内做完。
巨大八爪鱼 5-3 巨大八爪鱼 (點擊/回復: 2244/43)

lean4教程

https://leanprover-community.github.io/mathematics_in_lean/
这个教程是关于如何用lean4和mathlib4做数学的
https...
悄悄打开魔盒 5-2 悄悄打开魔盒 (點擊/回復: 738/3)

《仓鼠球》是我的童年回忆

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

恭喜《常用语词典》登陆首页滚动榜

如题
目前在滚动榜第五位
啊啊是谁都对 5-2 啊啊是谁都对 (點擊/回復: 380/1)

有意思,本吧竟然没有侃吧管理员的欢迎贴

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

崩铁知更鸟关于新专辑《空气蛹》的信件(日文版)

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

【水】其实有点担心自己的恐怖道具库被父母发现

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

【水】我们的健身房之前是有Wifi的

其实是蹭隔壁一家店的Wifi的
但是后来隔壁一家店的Wifi坏了
所以现在在健身房就又得用自己的流量了
圆环之理 5-2 圆环之理 (點擊/回復: 700/11)

听上去lean4可以用来做数学证明题

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

据说快节奏的音乐有利于提高健身效率

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

您好,Purasbar 欢迎您的到来~

亲爱的用户:欢迎来到梯子吧,Purasbar欢迎您的到来~
请先阅读我们的社区准则:
https://zh.purasbar.com/documents/eula/
以及版权...
社区管理员 5-2 社区管理员 (點擊/回復: 375/0)

突然想到一个问题:圆神明确说过自己在现实中没怎么真的扮鬼吓人

为什么没有任何一个人会认为圆神不算真的【喜欢扮鬼吓人】?
浅风仁樱 5-2 浅风仁樱 (點擊/回復: 777/18)

侃吧梗解释之【原来如彼】 [正式收录]

一楼留空,以备未来修改
浅风仁樱 5-2 浅风仁樱 (點擊/回復: 401/1)

简介&安装教程

lean是一款数学形式化语言,它可以用编程语言撰写数学证明,便于计算机进行形式验证,因此一定程度上可以避免人工检查数学证明所带来的负担和错误。
类似的语言有coq,isabelle,metama...
悄悄打开魔盒 5-2 悄悄打开魔盒 (點擊/回復: 454/1)
全站共有主題數30475個,帖子數137618篇。

內容轉換:

©2010-2025 Purasbar Ver3.0 [手機版] [桌面版]
除非另有聲明,本站採用知識共享署名-相同方式共享 3.0 Unported許可協議進行許可。