26/05/21 06:36:39.61 hgEA0yNC.net
なかったので建てました
IUTのLANAプロジェクト他、物理数学などについても語りましょう！
2:１３２人目の素数さん
26/05/21 06:39:47.40 hgEA0yNC.net
LEAN4WEB
URLﾘﾝｸ(live.lean-lang.org)
3:１３２人目の素数さん
26/05/21 06:41:43.40 hgEA0yNC.net
私はLLMでCodex使って、2点のピクセルからの時空の創発などを書かせてます！
URLﾘﾝｸ(ideone.com)
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やってなさそう