Naganori Yamaguchi
Mathematics and formalized mathematics in Lean 4.
English homepage
Japanese homepage
Lean 4 libraries