14,683 reputation
31850
bio website governatori.net
location Australia
age 47
visits member for 2 years, 7 months
seen 38 mins 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.


102
152
votes
8
answers
38k
views
47
96
votes
11
answers
17k
views
61
73
votes
6
answers
17k
views