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

/ontohub/app/models/
H A Dproof_attempt.rb34 after_save :update_theorem_status
51 def update_theorem_status method in class:ProofAttempt

Completed in 7 milliseconds