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

/ontohub/lib/hets/
H A Dprove_options.rb26 prepare_prover
40 def prepare_prover method in class:Hets.ProveOptions

Completed in 12 milliseconds