Searched defs:prover (Results 1 - 1 of 1) sorted by relevance
| /ontohub/app/serializers/ | ||
| H A D | prover_output_serializer.rb | 11 attributes :prover 19 def prover method in class:ProverOutputSerializer 20 object.prover.try(:name) |
Completed in 11 milliseconds