_theorem_large.html.haml revision be588e74eb1543c68898b4e693b2841e9fef4d96
%tr
%td= link_to resource, locid_for(resource, :proof_attempts)
%td= format_for_view(resource)