<commit_before><!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>Coq.io</title>
    <link rel="shortcut icon" type="image/png" href="img/megaphone-48.png" />
    <link rel="stylesheet" href="css/style.min.css" type="text/css" />
    <link rel="stylesheet" href="css/csshake.min.css" type="text/css" />
    <!-- HTML5 Shim and Respond.js IE8 support of HTML5 elements and media queries -->
    <!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
    <!--[if lt IE 9]>
      <script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
      <script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
    <![endif]-->
  </head>
  <body>
    <div class="container-fluid">
      <div class="navbar navbar-default" role="navigation">
        <div class="navbar-header">
          <a class="navbar-brand" href=".">Coq.io</a>
        </div>
      </div>
      <div class="row">
        <div class="col-md-6">
          <img src="img/megaphone.svg" class="shake img-responsive center-block" alt="Logo" style="min-width: 400px; display: block">
        </div>
        <div class="col-md-6">
          <h1 class="text-center">Coq.io</h1>
          <p class="lead text-center">Voice your Coq.</p>
          <p>Coq.io is a library to write <a href="https://coq.inria.fr/">Coq</a> programs with IOs and concurrency. You code, you certify and you compile to runnable <a href="https://ocaml.org/">OCaml</a> executables with verified IOs.</p>

          <h3>Try</h3>
          <p>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:hello-world
helloWorld
==> Hello world!</pre>
        </div><commit_msg>Cosmetic<commit_after><!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>Coq.io</title>
    <link rel="shortcut icon" type="image/png" href="img/megaphone-48.png" />
    <link rel="stylesheet" href="css/style.min.css" type="text/css" />
    <link rel="stylesheet" href="css/csshake.min.css" type="text/css" />
    <!-- HTML5 Shim and Respond.js IE8 support of HTML5 elements and media queries -->
    <!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
    <!--[if lt IE 9]>
      <script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
      <script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
    <![endif]-->
  </head>
  <body>
    <div class="container-fluid">
      <div class="navbar navbar-default" role="navigation">
        <div class="navbar-header">
          <a class="navbar-brand" href=".">Coq.io</a>
        </div>
      </div>
      <div class="row">
        <div class="col-md-6">
          <img src="img/megaphone.svg" class="shake img-responsive center-block" alt="Logo" style="min-width: 300px; display: block; margin-top: 50px">
        </div>
        <div class="col-md-6">
          <h1 class="text-center">Coq.io</h1>
          <p class="lead text-center">Voice your Coq.</p>
          <p>Coq.io is a library to write <a href="https://coq.inria.fr/">Coq</a> programs with IOs and concurrency. You code, you certify and you compile to a runnable <a href="https://ocaml.org/">OCaml</a> executable with verified IOs.</p>

          <h3>Try</h3>
          <p>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:hello-world
helloWorld
==> Hello world!</pre>
        </div>
{'fraction_non_alphanumeric': 0.19074675324675325, 'fraction_numerical': 0.01461038961038961, 'mean_word_length': 2.8793284365162646, 'pattern_counts': {'":': 0, '<': 105, '<?xml version=': 0, '>': 107, 'https://': 10, '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': '41277', 'n_tokens_mistral': 1338, 'n_tokens_neox': 1278, 'n_words': 286}