Searched defs:selected_theorems (Results 1 - 2 of 2) sorted by relevance
| /ontohub/app/controllers/api/v1/ | ||
| H A D | proof_attempt_configurations_controller.rb | 26 def selected_theorems method in class:Api |
| /ontohub/app/serializers/ | ||
| H A D | proof_attempt_configuration_serializer.rb | 17 attributes :selected_theorems 44 def selected_theorems method in class:ProofAttemptConfigurationSerializer 46 :'proof-attempt-configuration', :selected_theorems]) |
Completed in 8 milliseconds