Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
24,747
reputation
5
51
89

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.

396
answers
7
questions
~1.1m
people reached
  • Australia
  • Member for 6 years, 9 months
  • 2,244 profile views
  • Last seen 1 hour ago

Top Tags (168)

Score 867
Posts 173
Posts % 43
Score 730
Posts 108
Score 527
Posts 81
Score 159
Posts 28
Score 143
Posts 27
Score 115
Posts 26

Top Posts (403) All Questions Answers | Votes Newest

View all questions and answers

Badges (145)

Gold

5

Rarest

Silver

51

Rarest

Bronze

89

Rarest