= simple_form_for resource, html: { class: 'form-horizontal' } do |f|

= f.input :iri, as: :url

= f.input :kind, :as => :select, :collection => Mapping::KINDS, :include_blank => false

= f.input :theorem

= f.input :proven

= f.input :local

= f.input :inclusion

= f.simple_fields_for :versions, resource.versions.first do |vf|

= vf.input :required_cons_status, :as => :select, :collection => Mapping::CONS_STATUSES, :include_blank => false

= vf.input :proven_cons_status, :as => :select, :collection => Mapping::CONS_STATUSES, :include_blank => false

= vf.input :proof_status, :as => :select, :collection => Mapping::CONS_STATUSES, :include_blank => false

= f.association :source, :include_blank => false

= f.association :target, :include_blank => false

= f.button :wrapped