_theorem_large.html.haml revision d327eb79653cf7820fe583473ab35816d44cd757
%tr
%td= link_to resource, url_for([resource, :proof_attempts])
%td= format_for_view(resource)