Searched defs:proof_attempt (Results 1 - 1 of 1) sorted by relevance

/ontohub/app/controllers/
H A Dprover_outputs_controller.rb3 belongs_to :proof_attempt
5 helper_method :ontology, :theorem, :proof_attempt
10 def proof_attempt method in class:ProverOutputsController
11 @proof_attempt ||= ProofAttempt.find(params[:proof_attempt_id])

Completed in 15 milliseconds