Searched refs:update_theorem_state (Results 1 - 1 of 1) sorted by relevance
| /ontohub/lib/ | ||
| H A D | proof_evaluation_state_updater.rb | 15 update_theorem_state 18 def update_theorem_state method in class:ProofEvaluationStateUpdater |
Completed in 7 milliseconds