12,139 reputation
21544
bio website governatori.net
location Australia
age 47
visits member for 2 years, 1 month
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.


407
× 98
27
× 5
15
× 4
10
× 4
296
× 78
26
× 6
15
× 3
10
× 4
223
× 54
22
× 6
14
× 3
10
× 3
70
× 19
21
× 5
14
× 2
10
× 2
58
× 16
20
× 6
13
× 5
10
× 2
49
× 14
20
× 4
13
× 4
10
× 2
41
× 15
19
× 6
13
× 4
10
37
× 11
19
× 5
13
× 2
9
× 4
34
× 10
18
× 5
12
× 2
9
× 2
32
× 11
17
× 7
12
× 2
9
32
× 6
17
× 6
11
× 4
8
× 2
29
× 8
17
× 4
11
× 2
8
× 2
27
× 5
16
× 3
10
× 5
7
× 3