Update

OK. We're back in Canberra. I've also finished the completeness proof that I've been working on for the last few months. More on that soon. In the meantime, here are some pictures from this year's bike trip through the Alps.

.

Comments

# on 06 October 2010, 14:56

A completeness proof? Fascinating stuff. Is it complete?

Add a comment

Please leave these fields blank (spam trap):

No HTML please.
You can edit this comment until 30 minutes after posting.