Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
Ahmet Abdi
ahmetabdi
You take the red pill, you stay in Wonderland, and I show you how deep the rabbit hole goes…
@home London
Chris LaRose
cjlarose
Puma core team member. Shoryuken maintainer. Config maintainer.
@picktrace San Diego, CA