Links for ax-prover