Tan Duong
tanduong
Full stack web software engineer. Experienced in React/NodeJS/Python/Ruby on Rails/Elixir.
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen