101 reputation
2
bio website synchronicity.sourceforge.net
location
age 23
visits member for 2 years, 5 months
seen Nov 17 '14 at 4:45

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


This user has not answered any questions
This user has not asked any questions
This user has not participated in any tags
Stack Overflow 2,109 rep 11334
TeX - LaTeX 704 rep 415
Mathematics 265 rep 110
English Language & Usage 217 rep 28
Emacs 212 rep 10

1 Vote Cast

all time   by type  
1 up 0 question
0 down 1 answer