- @page_title = resource.iri

%h2= link_to resource, resource, 'data-type' => resource_class

%p= fancy_tag(resource, [:theorem, :local, :proven, :inclusion]) { |a| ' | ' + a}

- if can? :update, Mapping

.pull-right

.btn-group

= link_to 'Edit Metadata', :edit_mapping, class: 'btn btn-default'

= link_to 'Update Mapping', :update_version_mapping, class: 'btn btn-default'

- if can? :delete, Mapping

= link_to 'Delete Mapping', :mapping, confirm: 'Are you sure?', method: :delete, class: 'btn btn-default'

%h5 Mappings

= fancy_link resource.source

to

= fancy_link resource.target

- if !resource.symbol_mappings.empty?

%h5 Symbols

%table

%thead

%t

%th Source

%th Target

%tbody

- resource.symbol_mappings.each do |mapping|

%tr

%td= mapping.source

%td= mapping.target

%h5 Status

%p

Proven:

= resource.current_version.proof_status

%p

Required Consstatus:

= resource.current_version.required_cons_status

%p

Proven Consstatus:

= resource.current_version.proven_cons_status