Searched refs:used_prover (Results 1 - 2 of 2) sorted by relevance

/ontohub/app/serializers/
H A Dproof_attempt_serializer.rb13 :used_prover
34 def used_prover method in class:ProofAttemptSerializer
/ontohub/lib/hets/prove/
H A Dprove_evaluator.rb29 register :used_prover, :start, to: :used_prover_start
30 register :used_prover, :end, to: :used_prover_end
86 used_prover
109 when :used_prover

Completed in 7 milliseconds