https://lean-lang.org/learn/
https://lean-lang.org/theorem_proving_in_lean4/Propositions-and-Proofs/#propositions-and-proofs
Interuniversal geometry とABC 予想61
■ このスレッドは過去ログ倉庫に格納されています
764１３２人目の素数さん
2026/08/06(木) 08:50:59.29ID:PwyO3MPP■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【疑惑】SNSで高市首相が「神戸大学を卒業していない」説が浮上 同窓会名簿や卒業生からも疑う声が ★4 [少考さん★]
- 月収５万円、非正規雇用６０代男性独り暮らし、「申し訳ない」と繰り返し…肺がんと判明し入院２日後死亡 [お断り★]
- 🍚牛丼3強で「一番安かった松屋」だけがなぜ苦戦 吉野家・すき家は好調なのに...20円値上げで巻き返せるか [パンナ・コッタ★]
- アニメ『名探偵コナン』歴代OP・ED国民投票ランキングが話題「納得すぎる」「やっぱり1位はこの曲」【TOP30一覧】 [Ailuropoda melanoleuca★]
- ロシア、月給47万円で物流の仕事を募集、インドネシア人58人が応募、ウクライナ前線に送られる インドネシアはロシア軍の担当者を拘束 [お断り★]
- 石破茂前首相、消費減税「インフレ助長する政策」 高松で講演 [蚤の市★]
- 【高市画像】Ungoogled Chromiumとは何ぞ [487816701]
- 【実況】博衣こよりのえちえちホロゆび相撲🧪 Part5
- 高市のガソリン補助金が終わると💹一気に物価が跳ね上がるんだろうな [457294144]
- 🫪【閉店】あおいbar【爆破】🏡
- ｢石破らの集団の造反は､国民の気持ちを反映した行動｡高市は財源の議論が不十分すぎる｣ 自民･森山前幹事長が4人を擁護 [597533159]
- 日本の1人あたりGDP、世界53位に転落…😲 [668024367]