Inter-universal geometry と ABC予想 (応援スレ) 61at MATH

---

975:１３２人目の素数さん
21/12/07 20:37:01.63 .net
>>920
coqに入らんっていうのは
つまり論理式で記述できないってこと？
もしそうだとしてそれって数学なの？

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch