(19 Aug 2004 at 17:46)
I finally finished mechanizing all of my proofs for the Classical Modal Logic paper. The operational semantics was by far the hardest part, but it's done now and it is very satisfying to have an extremely picky computer program validate my work. (Peruse, if you like that sort of thing.)
I still have other research stuff to take care of this summer, but soon it's on to bigger things...
|And so what are the bigger things?|
|I hope one of them is finishing a song for a really really totally cute boy band!|
|Marc, just finding a thesis topic and proposing that thesis.
Max: That too!