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

/ontohub/lib/hets/prove/
H A Dprove_evaluator.rb3 class ProveEvaluator < BaseEvaluator class in class:Hets.Prove

Completed in 508 milliseconds