Searched refs:ProverOutput (Results 1 - 5 of 5) sorted by relevance

/ontohub/spec/models/
H A Dprover_output_spec.rb3 describe ProverOutput do
/ontohub/app/models/
H A Dprover_output.rb1 class ProverOutput < LocIdBaseModel class
/ontohub/db/migrate/
H A D20160310132620_move_loc_id_to_own_model.rb7 ProverOutput,
/ontohub/lib/hets/prove/
H A Dprove_evaluation_helper.rb138 prover_output = ProverOutput.new
/ontohub/config/
H A Droutes.rb393 LocIdRouterConstraint.new(ProverOutput, ontology: :ontology_id, theorem: :theorem_id, proof_attempt: :proof_attempt_id, element: :id),

Completed in 22 milliseconds