Searched defs:generated_axioms (Results 1 - 2 of 2) sorted by relevance

/ontohub/app/controllers/api/v1/
H A Dproof_attempts_controller.rb25 def generated_axioms method in class:Api
28 render json: resource.generated_axioms,
/ontohub/app/serializers/
H A Dproof_attempt_serializer.rb24 attributes :generated_axioms
42 def generated_axioms method in class:ProofAttemptSerializer
43 url_for([object, :generated_axioms])

Completed in 10 milliseconds