Searched defs:used_theorems (Results 1 - 2 of 2) sorted by relevance
| /ontohub/app/controllers/api/v1/ | ||
| H A D | proof_attempts_controller.rb | 34 def used_theorems method in class:Api 37 render json: resource.used_theorems, |
| /ontohub/app/serializers/ | ||
| H A D | proof_attempt_serializer.rb | 23 attributes :used_theorems 46 def used_theorems method in class:ProofAttemptSerializer 47 url_for([object, :used_theorems]) |
Completed in 7 milliseconds