jeanmartina/design_and_verification_lecture_notes not found