LEAN総合スレその1at MATHLEAN総合スレその1 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1:１３２人目の素数さん 26/05/21 06:36:39.61 hgEA0yNC.net なかったので建てました IUTのLANAプロジェクト他、物理数学などについても語りましょう！ 2:１３２人目の素数さん 26/05/21 06:39:47.40 hgEA0yNC.net LEAN4WEB https://live.lean-lang.org/ 3:１３２人目の素数さん 26/05/21 06:41:43.40 hgEA0yNC.net 私はLLMでCodex使って、2点のピクセルからの時空の創発などを書かせてます！ https://ideone.com/an3FhY 4:１３２人目の素数さん 26/05/21 16:46:36.75 ycJfyVpY.net ラーン 5:１３２人目の素数さん 26/05/21 16:46:59.28 ycJfyVpY.net リーン 6:１３２人目の素数さん 26/05/21 16:47:13.89 ycJfyVpY.net ローン 7:１３２人目の素数さん 26/05/24 14:33:19.98 5JBdWaV1.net 7ゲットなら心願成就ッ！ 8:１３２人目の素数さん 26/05/30 05:12:11.46 IboVS48d.net 誰もLEANやってなさそう 最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch