User Clément - MathOverflow Stack Exchange

Clément

101

reputation

Member since January 09 2011
9 profile views
Last seen Jun 03 '22 at 21:55

PhD Student at MIT CSAIL. Author of Create Synchronicity, YìXué Dictionary, and company-coq.