sophiatao/discrete-math-notes not found