Naganori Yamaguchi

Mathematics, arithmetic geometry, and formalized mathematics in Lean 4.