@kaicho8636
幾何の問題をプログラムで解く研究をしています。あとは定理証明(e.g. Lean)の勉強もしています。
Tokyo, Japan
No Organizations you are following
Find Tags to follow
