CMSC424 with Herve

Anyone who has taken it with Herve is his class theory and proof heavy? What are his homework and exams like? Thank you.