12,736 reputation
31545
bio website governatori.net
location Australia
age 47
visits member for 2 years, 3 months
seen 1 hour ago

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.


96
145
votes
8
answers
34k
views
38
83
votes
3
answers
8k
views
13
46
votes
1
answer
661
views