nuwa/production: links for tensor-theorem-prover