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

/ontohub/app/models/ontology/
H A Dimport.rb15 def import_proof(version, user, proof_attempt, io) method in class:Ontology

Completed in 671 milliseconds