Searched defs:initialize_provers (Results 1 - 1 of 1) sorted by relevance

/ontohub/app/fake_records/
H A Dproof.rb57 initialize_provers(opts)
102 def initialize_provers(opts) method in class:Proof

Completed in 5 milliseconds