deploy site from 72cd7d7

leanprover-community · Feb 19, 2025 · 43dfac3 · 43dfac3
1 parent a2fbd81
commit 43dfac3
Show file tree

Hide file tree

Showing 3 changed files with 100 additions and 89 deletions.
diff --git a/lean_projects.html b/lean_projects.html
@@ -190,7 +190,7 @@ <h6 class="card-subtitle mb-2 text-muted">maintained by
 </p>
         </div>
             <div class="card-footer text-right bg-white">
-              <small><a href="https://github.com/jesse-michael-han/lean-gptf" class="card-link">View on GitHub</a> (★ 116)</small>
+              <small><a href="https://github.com/jesse-michael-han/lean-gptf" class="card-link">View on GitHub</a> (★ 117)</small>
             </div>
       </div>
       </div>

diff --git a/mathlib_stats.html b/mathlib_stats.html
@@ -62,7 +62,7 @@ <h2>Counts</h2>
         <tr>
             <td>97116</td>
             <td>188107</td>
-            <td>400</td>
+            <td>402</td>
         </tr>
     </table>
-Original file line number
+Diff line change
@@ Expand Up / @@ -190,7 +190,7 @@ <h6 class="card-subtitle mb-2 text-muted">maintained by @@
     </p>
             </div>
                 <div class="card-footer text-right bg-white">
-                  <small><a href="https://github.com/jesse-michael-han/lean-gptf" class="card-link">View on GitHub</a> (★ 116)</small>
+                  <small><a href="https://github.com/jesse-michael-han/lean-gptf" class="card-link">View on GitHub</a> (★ 117)</small>
                 </div>
           </div>
           </div>
@@ Expand Down @@