Search

Home

Sort by

Full Search
Definition
Symbol
File Path
History

In Project(s)

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

/ontohub/lib/
H A D	proof_execution.rb	`1 class ProofExecution class`

Completed in 7 milliseconds