搜索帖子_Purasbar

設置 | 登錄 | 註冊

本次共搜索到帖子234篇，用時171ms。

關鍵詞：
搜索範圍：	吧
	（多個侃吧可使用空格隔開）
指定用戶名/IP：
	（多個用戶可使用空格隔開，IP中可以使用「*」符號表示IP段）
結果排序方式：
每頁顯示的結果數：	條

回复 @啊啊是谁都对：有的，git clone https://github.com/leanprover-community/mathematics_in_lean.git下载mathematics...

悄悄打开魔盒 5-2 lean4吧

2024/4/22~4/28：俄军攻占奥切列季涅，威胁红军城和顿河君士坦丁罗夫卡

悄悄打开魔盒 5-2 世界吧

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

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

确实，不过一般是用于验证证明的正确性

悄悄打开魔盒 5-2 lean4吧

不小心删除了一个横线，网址应该是https://github.com/leanprover-community/mathlib4/wiki/Using-mathlib4-as-a-dependency

悄悄打开魔盒 5-2 lean4吧

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

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

上个月（2024.4）最高突破7万美元
月底大跌，如今（2024.5）只有5.7万美元左右
美联储加息/降息的选择影响

悄悄打开魔盒 5-2 悄悄打开魔盒 (點擊/回復: 209/0) -- 比特幣吧

五一快乐

悄悄打开魔盒 5-1 萬聖節吧

嗯啊嗯啊

悄悄打开魔盒 4-25 萬聖節吧

有点像b站的梗指南，还有梗百科

悄悄打开魔盒 4-30 啊啊是谁都对 (點擊/回復: 285/1) -- 侃吧梗吧