Guido
Stats
28,793
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
0
Score
3
Posts
100
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %