Searched defs:proof_status_order (Results 1 - 1 of 1) sorted by relevance
| /ontohub/app/models/ | ||
| H A D | theorem.rb | 46 proof_statuses.sort_by { |ps| proof_status_order(ps) } 49 def proof_status_order(proof_status) method in class:Theorem |
Completed in 8 milliseconds