Searched refs:prove (Results 1 - 9 of 9) sorted by relevance

/ontohub/lib/
H A Dproof_execution.rb14 prove
28 def prove method in class:ProofExecution
/ontohub/app/helpers/
H A Dproofs_helper.rb5 url_for([destination, :prove])
/ontohub/db/seeds/
H A D040-git.rb28 prove/Subclass.casl
/ontohub/spec/support/fixtures_generation/
H A Dprover_output_generator.rb15 response = call_hets(file, 'prove',
25 %w(spec/fixtures/ontologies/prove/prover_output_generator.casl)
/ontohub/app/fake_records/
H A Dproof.rb70 prove
171 def prove method in class:Proof
/ontohub/spec/lib/
H A Daxiom_selection_proof_status_spec.rb13 let(:ontology_fixture_file) { %w(prove/Simple_Implications casl) }
H A Dproof_status_determining_spec.rb13 let(:ontology_fixture_file) { %w(prove/Simple_Implications casl) }
/ontohub/spec/models/
H A Dsine_axiom_selection_spec.rb102 let(:ontology_fixture_file) { %w(prove/Subclass casl) }
/ontohub/spec/
H A Dhets_helper.rb8 regexp_prove_path = %r{^/prove/(?<escaped_iri>[^/]*)(?<end>.*)$}

Completed in 9 milliseconds