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

/ontohub/app/serializers/
H A Dprover_output_serializer.rb13 has_one :proof_attempt, serializer: ProofAttemptSerializer::Reference
H A Dproof_attempt_serializer.rb1 class ProofAttemptSerializer < ApplicationSerializer class
/ontohub/app/controllers/api/v1/
H A Dproof_attempts_controller.rb11 each_serializer: ProofAttemptSerializer::Reference

Completed in 9 milliseconds