= repository_nav parent.repository, :ontologies

= ontology_nav parent, :children

%table

%thead

%th Name

%th Symbols

%th Axioms

%th Theorems

= render partial: 'child', collection: collection