Links for copra-theorem-prover