This was a really cool course - it covered a very interesting topic (formal proof methods and automated theorem proving) that other classes don't cover. The assignments were easy and straightforward, and tended to be quite interesting.

Sullivan is a pretty cool guy and you can tell he really likes what he teaches. That said, he does his best to make this class interesting but it's just terribly boring material. The material is quite tricky, and the fact that it's boring only makes it harder to understand. If you think the first few weeks are easy, it's just a trap to lull you into a false sense of security past the drop deadline.