Maxing Out RMAX

Need I say, only one more week!!! Ahhh!!! Coq treated me relatively well last week. I worked on rmax and also researched some more ways rmax and remove functions have been implemented in Coq. I worked through a few chapters in Benjamin's notes and got to the fun part, inductive principles aka 3- 4 line statements I have to read 5 + times to understand. But I did the chapter twice, and I have my fingers crossed that the information I read will be retained. : )

I also played around with Program. It wasn't quite as fun as working Benjamin's notes or hacking on whimsical proofs, but it was an interesting experience. Next week I hope to get everything I have worked on together so that I can write a decent final report. I will probably write the report after the 10 weeks though. Lets see what Stephanie has to say!

I explored a little bit of Philadelphia this weekend. I hit a few of the tourist spots (Independence Hall, etc). And I have also been working on a to-do list for Fort Worth (when I get back) which is growing exponentially. My inbox has a few more emails than I would like.

So, next week is the last official week I will be working on Coq. I hope it isn't because I think I will keep hacking on proofs once school starts. There is a barbeque and a lecture I really want to attend next week. The lecture is a public lecture from ICHEP on high energy particle physics. I audited quantum physics for fun a few semesters ago, so I do have an healthy/ unhealthy interest in quantum physics as well. Till next week, toodles!

July 28 - August 3