copra-theorem-prover