Links for valiant-valiant-inequality-prover