Searched refs:selected_theorems (Results 1 - 4 of 4) sorted by relevance

/ontohub/app/serializers/
H A Dproof_attempt_configuration_serializer.rb17 attributes :selected_theorems
44 def selected_theorems method in class:ProofAttemptConfigurationSerializer
46 :'proof-attempt-configuration', :selected_theorems])
/ontohub/app/controllers/api/v1/
H A Dproof_attempt_configurations_controller.rb26 def selected_theorems method in class:Api
/ontohub/spec/controllers/api/v1/
H A Dproof_attempt_configurations_controller_spec.rb29 context 'on GET to selected_theorems' do
32 get :selected_theorems,
37 :'proof-attempt-configuration', :selected_theorems]),
/ontohub/config/
H A Droutes.rb477 %i(selected_axioms selected_theorems)

Completed in 9 milliseconds