I don't know how proof heavy this course is and it is not specialized on graphs: "Computational Science and Engineering I" -- Gilbert Strang (MIT)
https://ocw.mit.edu/courses/18-085-computational-science-and...
https://ocw.mit.edu/courses/18-085-computational-science-and...