505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher= repository_nav parent.repository, :ontologies

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher= ontology_nav @ontology, :theorems

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher- if can? :write, parent.repository

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher - if ontology.unproven_theorems.present?

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher = link_to t('theorems.index.prove'), [*resource_chain, :proofs, :new], class: 'btn btn-primary'

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher - else

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher = t('theorems.index.all_proven', oms: Settings.OMS)

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher= pagination do

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher %table.sentences

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher %thead

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher %tr

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher %th Name

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher %th Text

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher %th Proof Status

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher %tbody

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher = render partial: 'theorem', collection: collection

505e75ba28b42bb3de7a6d55de825091b70cc2b2Stephen Gallagher