Highlights
- Pro
Justin Townsend
justinjtownsend
Skiing, technology, wine and sustainability enthusiast. I know the BIO could have better balance... opinions my own.
United Kingdom
Mei
MeiWithHongKong
你好。 My new year's resolution? Hmmm... to Liberate Hong Kong!
Hong Kong, Hong Kong
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen