Links for discrete-math-toolkit