Searched refs:TheoremSerializer (Results 1 - 5 of 5) sorted by relevance

/ontohub/app/controllers/api/v1/
H A Dtheorems_controller.rb11 each_serializer: TheoremSerializer::Reference
H A Dproof_attempt_configurations_controller.rb30 each_serializer: TheoremSerializer::Reference
H A Dproof_attempts_controller.rb38 each_serializer: TheoremSerializer::Reference
/ontohub/app/serializers/
H A Dtheorem_serializer.rb1 class TheoremSerializer < ApplicationSerializer class
H A Dproof_attempt_serializer.rb18 has_one :theorem, serializer: TheoremSerializer::Reference

Completed in 8 milliseconds