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

/ontohub/lib/
H A Dproof_evaluation_state_updater.rb1 class ProofEvaluationStateUpdater class

Completed in 7 milliseconds