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

/ontohub/lib/
H A Dproof_execution.rb13 prepare_prove_options
23 def prepare_prove_options method in class:ProofExecution

Completed in 7 milliseconds