Searched defs:selected_prover (Results 1 - 1 of 1) sorted by relevance
| /ontohub/app/serializers/ | ||
| H A D | proof_attempt_configuration_serializer.rb | 13 attributes :selected_prover 31 def selected_prover method in class:ProofAttemptConfigurationSerializer |
Completed in 1274 milliseconds