Guido
Stats
28,645
reputation
241
reached
2
answers
1
questions
Loading…
About

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.

This user doesn’t have any gold badges yet.
10
silver badges
10
bronze badges

Top tags (3)

Score 0
Posts 3
Score 0
Posts 1
Score 0
Posts 1

Top posts (3)