- @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, Link

%ul.actions.pull-right

%li= link_to 'Edit Metadata', :edit_link

%li= link_to 'Update Link', :update_version_link

- if can? :delete, Link

%li= link_to 'Delete Link', :link, :confirm => 'Are you sure?', :method => :delete

%h5 Links

= fancy_link resource.source

to

= fancy_link resource.target

%h5 Status

%p

Proven:

= resource.versions.current.proof_status

%p

Required Consstatus:

= resource.versions.current.required_cons_status

%p

Prooven Consstatus:

= resource.versions.current.proven_cons_status