update to doc about meta-prover