(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.
By logging in to LiveJournal using a third-party service you accept LiveJournal's User agreement