_theorem.html.haml revision 63f9ea6c6ef0939175d71d4b63889887de7ecb90
%tr
%td= theorem.name
%td= format_for_view(theorem)
%td
%span{class: "label label-#{theorem.proof_status.label}"}= theorem.proof_status