%tr

%td= link_to theorem, url_for([theorem, :proof_attempts])

%td= format_for_view(theorem)

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

%td= state_tag(theorem)