Inter-universal geometry とABC 予想47

Inter-universal geometry とABC 予想47at MATH

Inter-universal geometry とABC 予想47 - 暇つぶし2ch126:１３２人目の素数さん
21/12/24 20:00:35.07 sNeIr8z2.net
>カリーハワード同型対応や証明プログラミング
原理が明確だからね。