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

/ontohub/app/serializers/
H A Dprover_output_serializer.rb1 class ProverOutputSerializer < ApplicationSerializer class
H A Dproof_attempt_serializer.rb15 has_one :prover_output, serializer: ProverOutputSerializer::Reference

Completed in 7 milliseconds