13,456 reputation
12666
bio website
location
age
visits member for 2 years, 1 month
seen Feb 17 at 10:08

Computational Logic researcher and LaTeX lover.


61
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
10
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
8
Sep 26 '14 at 18:19