Bryan Deng I like math, computers, and my cat. Most work is done in private repositories. Currently working on: learning lean and proof writing.