474 reputation
212
bio website
location
age
visits member for 1 year, 11 months
seen Jan 13 at 23:17

Computational Logic researcher and LaTeX lover.


TeX - LaTeX 13,486 rep 12666
Unix & Linux 474 rep 212
Emacs 165 rep 4
Area 51 151 rep 2
Stack Overflow 142 rep 6

15 Votes Cast

all time   by type  
14 up 12 question
1 down 3 answer