Tetsuo Koyama
tkoyama010
3D visualization library @pyvista maintainer & translator,
@scipy-conference chairperson,
Photo by: @peacock0803sz CC-BY 2.0
@ark-info-sys Japan
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen