Searched defs:proof_attempts (Results 1 - 1 of 1) sorted by relevance
| /ontohub/app/serializers/ | ||
| H A D | theorem_serializer.rb | 19 :proof_attempts 37 def proof_attempts method in class:TheoremSerializer 38 url_for([object, :proof_attempts]) |
Completed in 16 milliseconds