Searched refs:used_or_configured_prover (Results 1 - 1 of 1) sorted by relevance
| /ontohub/app/helpers/ | ||
| H A D | proof_attempts_helper.rb | 2 def used_or_configured_prover(proof_attempt) method in class:ProofAttemptsHelper |
Completed in 334 milliseconds