13,561 reputation
12767
bio website
location
age
visits member for 2 years, 2 months
seen 20 hours ago

Computational Logic researcher and LaTeX lover.


60
May 4 '13 at 12:12
27
Sep 23 '14 at 8:21
16
Apr 24 '13 at 17:50
13
Apr 18 '13 at 18:54
11
Sep 27 '14 at 14:25
11
Sep 12 '14 at 18:48
10
Sep 8 '14 at 13:02
10
Dec 27 '13 at 15:16
10
Jun 24 '13 at 13:45
8
Oct 4 '14 at 22:23