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

/ontohub/app/models/proof_status/
H A Dcreation_from_ontology.rb27 proof_status.solved = solved?(status)
54 def solved?(status)

Completed in 5 milliseconds