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.
.
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.
.
A completeness proof? Fascinating stuff. Is it complete?