<commit_before><%= header(:getting_started) %>
      <div class="row">
        <div class="col-md-12">
          <h1>Getting started</h1>
          <p>Start.</p><commit_msg>Beginning of the Getting started<commit_after><%= header(:getting_started) %>
      <div class="row">
        <div class="col-md-12">
          <h1>Getting started</h1>
          <p>To install the Coq.io library, enable the <a href="https://github.com/coq/repo-stable">repo-stable</a> OPAM repository and run:</p>
          <pre>opam install -j4 -v coq:io:system</pre>
          This will install the main library <code>coq:io</code> and some basic effects <code>coq:io:system</code> to interact with your operating system.

          <h2>Write a Hello World</h2>

          <h2>The effects system</h2>

          <h2>More examples</h2>

          <h2>Use concurrency</h2>

          <h2>Verification by use cases</h2>
{'fraction_non_alphanumeric': 0.15039281705948374, 'fraction_numerical': 0.02132435465768799, 'mean_word_length': 2.6408163265306124, 'pattern_counts': {'":': 0, '<': 35, '<?xml version=': 0, '>': 35, 'https://': 1, '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': '1171448', 'n_tokens_mistral': 304, 'n_tokens_neox': 286, 'n_words': 71}