Searched defs:execute_proof (Results 1 - 1 of 1) sorted by relevance
| /ontohub/lib/ | ||
| H A D | proof_execution.rb | 30 cmd, input_io = execute_proof(prove_options) 39 def execute_proof(prove_options) method in class:ProofExecution |
Completed in 7 milliseconds