%tr

%td= link_to theorem, [*resource_chain, theorem]

%td= format_for_view(theorem)

%td= render partial: 'proof_status', locals: {proof_status: theorem.proof_status}