null

Sort by

In Project(s)

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

/ontohub/app/controllers/api/v1/
H A D	proof_statuses_controller.rb	`9 each_serializer: ProofStatusSerializer::Reference`
/ontohub/app/serializers/
H A D	proof_status_serializer.rb	`1 class ProofStatusSerializer < ApplicationSerializer class`
H A D	theorem_serializer.rb	`15 has_one :proof_status, serializer: ProofStatusSerializer::Reference`
H A D	proof_attempt_serializer.rb	`21 has_one :proof_status, serializer: ProofStatusSerializer::Reference`

Completed in 666 milliseconds