June 21st, 2012

beartato phd

(no subject)

Finished off the twelf proof from a couple of days ago in the hour or so immediately following work. Very satisfying. Turned out I just had to power through some intimidating strengthening lemmas.