%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 :axioms, collection: ontology.all_axioms, as: :check_boxes

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