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

/ontohub/app/fake_records/
H A Dproof.rb123 initialize_proof_attempts_for_theorem(opts, proof_obligation)
126 initialize_proof_attempts_for_theorem(opts, theorem)
131 def initialize_proof_attempts_for_theorem(opts, theorem) method in class:Proof

Completed in 23 milliseconds