%%tr
  %td= link_to child.to_s, [child.repository, child]
  %td= link_to child.symbols_count.to_s, [child.repository, child, :symbols]
  %td= link_to child.axioms_count.to_s, [child.repository, child, :axioms]
  %td= link_to child.theorems_count.to_s, [child.repository, child, :theorems]

%%tr
  %td= link_to child.to_s, [child.repository, child]
  %td= link_to child.symbols_count.to_s, locid_for(child, :symbols)
  %td= link_to child.axioms_count.to_s, locid_for(child, :axioms)
  %td= link_to child.theorems_count.to_s, locid_for(child, :theorems)

Use locid for links to children subpages.
Use locid for links to children subpages.
