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

/ontohub/app/helpers/
H A Dproofs_helper.rb32 def proof_timeout_label(seconds) method in class:ProofsHelper

Completed in 8 milliseconds