meta user
network profile
| bio | website | governatori.net |
|---|---|---|
| location | Australia | |
| age | 45 | |
| visits | member for | 10 months |
| seen | 16 mins ago | |
| stats | profile views | 321 |
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.
