Not a super intensive class, and taught differently from the other discrete classes. Professor Sullivan is a super nice guy, and genuinely wants you to learn the material. Homework assignments were not graded, and the tests and final exams were open notes which was really helpful. Definitely recommend taking it with him based on what some of my friends have told me about their experience with discrete.

Great class with a great professor (Sullivan). He's a super nice guy who's really not concerned with harshly grading but with teaching. Don't take advantage of him and work hard so you can learn the concepts

This class was basically us faffing around with the crappy experimental language dafny. Kinda boring, soft option, did not really learn much about proofs/logic.