Text this: Verification of Neural Networks (Lecture Notes)