Tri Neuer
nhattri
Aspiring GOLANG developer
2023 Resolutions are to become a full time developer!
Germany
Junyan Xu
alreadydone
Postdoc in math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Universität Heidelberg Heidelberg / Shenzhen


