[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

33(2): 2024/03/19(火)16:20 ID:Q+qUW8xc(1) AA×


[240|320|480|600|原寸|JPG|べ|ﾚｽ栞|ﾚｽ消]
33: [] 2024/03/19(火) 16:20:03.06 ID:Q+qUW8xc leanとかいうソフトで学部レベルの定理の証明をすべて書くとかいうプロジェクトがあるそうですが、そういう証明を見ると勉強する側として勉強になりますか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/33
とかいうソフトで学部レベルの定理の証明をすべて書くとかいうプロジェクトがあるそうですがそういう証明を見ると勉強する側として勉強になりますか？

---

上下前次1-新書関写板覧索設栞歴

---

あと 969 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.013s