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.
423
answers
7
questions
~1.4m
people reached
-
Australia
-
Member for 8 years, 7 months
-
2,584 profile views
-
Last seen 16 mins ago
Communities (8)
Top Meta Posts
1
2
Top network posts
Badges (163)
Gold
6
Rarest
-
May 17 '16
-
Sep 26 '14
-
Jan 7 '13
Silver
60
Rarest
-
Sep 22 '15
-
Dec 22 '18
-
Aug 13 '14