Links for math-lib-sat