Searched refs:failed_proof_attempts (Results 1 - 1 of 1) sorted by relevance

/ontohub/lib/
H A Dproof_evaluation_state_updater.rb25 I18n.t('proof_evaluation_state_updater.failed_proof_attempts',
26 proof_attempts: failed_proof_attempts.map(&:number).join(', '))
32 def failed_proof_attempts method in class:ProofEvaluationStateUpdater

Completed in 7 milliseconds