= simple_form_for resource, url: form_url_chain do |f|

= 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')

= 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.none_is_default'), input_html: {class: 'timeout'}

= f.button :submit, t('proofs.new.send'), class: 'btn btn-primary'