lean community
https://leanprover-community.github.io/
Interuniversal geometry とABC 予想59
■ このスレッドは過去ログ倉庫に格納されています
298１３２人目の素数さん
2025/12/10(水) 18:48:26.68ID:Ep3YG9Gh■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 高市総理「そこ（週刊文春）の有料会員になれということであればできません」事前通告したのに「確認なし」でヤジ飛び交う ★3 [少考さん★]
- 【巨人】阿部慎之助氏代理人 報道に関するお知らせとお願い ★3 [Ailuropoda melanoleuca★]
- 【新潟】「ひどすぎる」弁当店で200個無断キャンセル…「最後は着信拒否」 店主が語る悪質手口「グルだったのでしょう」 ★2 [ぐれ★]
- 【MLB】大谷翔平、二刀流神髄 6回無失点で4連勝＆日本人トップ6勝 驚異の防御率0.74…打でも圧巻の3安打5出塁、打率.301 [ネギうどん★]
- 【旭川】内田被告『殺意があったのは共犯のほう』自分には殺意がなかったと主張…罪を認め懲役刑が確定した方の証言を事実と違うと [夜のけいちゃん★]
- 【住宅ローン】「超長期」急増、首都圏新築は3人に1人 家計にリスク [蚤の市★]
- 福島市に現れたクマ🐻 自分で水道の蛇口を開けて水を飲むスーパークマだった [931948549]
- サイキックラバーってなんか耳に残るよな
- かなたそとんなたんの天界お菓子ハウス👼🩷🍬🏡
- 富士山頂でやらない方がいい事
- 仕事休んで1日中海岸で海見つめてぼーっとする
- 見たことない あなたの表情 時の魔力で 今すべてがかわる