Naganori Yamaguchi

Research in mathematics and formalized mathematics using Lean 4.