25/10/23 11:43:12.40 90YWbZUz.net
これ面白いな
ｽﾚﾘﾝｸ(math板:657番)
Inter-universal geometry とABC 予想58
2025/10/22(水) 00:08:26.07ID:jwjOTwUz
>>47の境界情報宇宙論(IUT量子情報理論)の基礎である二者相互規定がLEAN4通ったから記念書き込み
URLﾘﾝｸ(ideone.com)
これ通るってことは、やっぱりIUTは合ってると思う
URLﾘﾝｸ(live.lean-lang.org)
で試してどうぞ