Lines Matching refs:prover
33 let(:prover) { create :prover }41 create :proof_attempt, theorem: theorem, prover: prover46 pac.prover = prover64 create :proof_attempt, theorem: theorem, prover: prover69 pac.prover = prover89 create :proof_attempt, theorem: theorem, prover: prover94 pac.prover = prover