<commit_before>= repository_nav ontology.repository, :ontologies

= ontology_nav ontology, :theorems

%h3
  = link_to theorem, locid_for(theorem)
  = render partial: 'theorems/proof_status', locals: {proof_status: theorem.proof_status}

%h4 Proof Attempts
= link_to t('theorems.show.prove'), [*resource_chain, theorem, :proofs, :new], class: 'btn btn-primary'
- if collection.empty?
  = t('theorems.show.proof_attemps_empty')
- else
  %table
    %thead
      %tr
        %th Number
        %th Status
        %th Date
        %th Time taken
        %th Prover
        %th State
    - collection.latest.each do |proof_attempt|
      %tr
        %td= link_to proof_attempt.number, proof_attempt.locid
        %td= render partial: 'theorems/proof_status', locals: {proof_status: proof_attempt.proof_status}
        %td
          = link_to proof_attempt.locid do
            %span.timestamp= proof_attempt.created_at
        %td
          = proof_attempt.time_taken
          = t('proof_attempts.show.seconds')
        %td= proof_attempt.prover<commit_msg>Move status column to the right<commit_after>= repository_nav ontology.repository, :ontologies

= ontology_nav ontology, :theorems

%h3
  = link_to theorem, locid_for(theorem)
  = render partial: 'theorems/proof_status', locals: {proof_status: theorem.proof_status}

%h4 Proof Attempts
= link_to t('theorems.show.prove'), [*resource_chain, theorem, :proofs, :new], class: 'btn btn-primary'
- if collection.empty?
  = t('theorems.show.proof_attemps_empty')
- else
  %table
    %thead
      %tr
        %th Number
        %th Date
        %th Time taken
        %th Prover
        %th Status
        %th State
    - collection.latest.each do |proof_attempt|
      %tr
        %td= link_to proof_attempt.number, proof_attempt.locid
        %td
          = link_to proof_attempt.locid do
            %span.timestamp= proof_attempt.created_at
        %td
          = proof_attempt.time_taken
          = t('proof_attempts.show.seconds')
        %td= proof_attempt.prover
        %td= render partial: 'theorems/proof_status', locals: {proof_status: proof_attempt.proof_status}
{'fraction_non_alphanumeric': 0.10461828463713478, 'fraction_numerical': 0.001885014137606032, 'mean_word_length': 2.874087591240876, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '513023', 'n_tokens_mistral': 714, 'n_tokens_neox': 667, 'n_words': 154}