24,897
reputation
7
10
Guido
I have been using LaTeX since 1993. I am a research leader at NICTA
If you are interested in logic or logical reasoning please consider supporting the logic proposal here on stackexchange.
2
answers
1
question
~237
people reached
-
Australia
-
Member for 6 years, 10 months
-
11 profile views
-
Last seen May 13 at 15:18
