A @umich math Ph.D. candidate. I use programming to understand, assist and formalize my pure mathematics research.
Jineon Baek