%h1= @page_title = t('proofs.new.title', klass: klass, resource: resource)
= simple_form_for resource, url: form_url_chain do |f|
  #prover-list
    = f.input :prover_ids, label: t('proofs.new.provers.label'), collection: ontology.current_version.provers, as: :check_boxes, hint: t('proofs.new.provers.none_is_default')
    .col-lg-2
    .col-lg-10.buttons
      = link_to t('proofs.new.select_all_provers'), '#', class: 'btn btn-xs btn-default select-all'
      = link_to t('proofs.new.select_no_provers'), '#', class: 'btn btn-xs btn-default select-none'
  = f.input :timeout, label: t('proofs.new.timeout.label'), collection: Proof::TIMEOUT_RANGE, label_method: ->(value) { proof_timeout_label(value) }, hint: t('proofs.new.timeout.hint'), input_html: {class: 'timeout'}, include_blank: t('proofs.new.timeout.default')
  = f.button :submit, t('proofs.new.send'), class: 'btn btn-primary'

%h1= @page_title = t('proofs.new.title', klass: klass, resource: resource)
= simple_form_for resource, url: form_url_chain do |f|
  #prover-list
    = f.input :prover_ids, label: t('proofs.new.provers.label'), collection: ontology.current_version.provers, label_method: :to_s, as: :check_boxes, hint: t('proofs.new.provers.none_is_default')
    .col-lg-2
    .col-lg-10.buttons
      = link_to t('proofs.new.select_all_provers'), '#', class: 'btn btn-xs btn-default select-all'
      = link_to t('proofs.new.select_no_provers'), '#', class: 'btn btn-xs btn-default select-none'
  = f.input :timeout, label: t('proofs.new.timeout.label'), collection: Proof::TIMEOUT_RANGE, label_method: ->(value) { proof_timeout_label(value) }, hint: t('proofs.new.timeout.hint'), input_html: {class: 'timeout'}, include_blank: t('proofs.new.timeout.default')
  = f.button :submit, t('proofs.new.send'), class: 'btn btn-primary'

Use display name in the view.
Use display name in the view.
