Skip to content

@JuliaTokai JuliaTokai

@abap34
Yuchi Yamaguchi abap34
Developer

Tokyo Institute of Technology Tokyo

@Seasawher
Kitamado Seasawher
I like mathematics and Lean prover.

Japan

@f-ttok
Fuminori TATSUOKA f-ttok
I'm interested in numerical analysis.

Yokohama, Japan

@hyrodium
Yuto Horikawa hyrodium

Osaka, Japan