Skip to content

Commit

Permalink
deploy site from 5875307
Browse files Browse the repository at this point in the history
  • Loading branch information
@leanprover-community-bot
leanprover-community-bot committed Feb 13, 2025
1 parent b524915 commit d8b67c8
Show file tree
Hide file tree
Showing 57 changed files with 840 additions and 484 deletions.
2 changes: 2 additions & 0 deletions 100-missing.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -156,6 +156,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
202 changes: 102 additions & 100 deletions 100.html
View file

Large diffs are not rendered by default.

2 changes: 2 additions & 0 deletions 1000-missing.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3201,6 +3201,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
344 changes: 173 additions & 171 deletions 1000.html
View file

Large diffs are not rendered by default.

2 changes: 2 additions & 0 deletions contribute/commit.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -181,6 +181,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions contribute/doc.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -331,6 +331,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions contribute/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -257,6 +257,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions contribute/naming.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -765,6 +765,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions contribute/pr-review.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -761,6 +761,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions contribute/style.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -604,6 +604,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions contribute/tags_and_branches.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -307,6 +307,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions events.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -389,6 +389,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions extras/calc.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -212,6 +212,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions extras/conv.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -214,6 +214,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions extras/simp.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -630,6 +630,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions extras/speedup.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -168,6 +168,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions extras/tactic_writing.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -657,6 +657,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions extras/well_founded_recursion.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -253,6 +253,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions get_started.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -107,6 +107,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions glossary.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -434,6 +434,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -380,6 +380,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions install/debian.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -111,6 +111,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions install/debian_details.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -139,6 +139,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions install/linux.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -132,6 +132,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions install/macos.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -112,6 +112,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions install/macos_details.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -140,6 +140,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions install/project.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -264,6 +264,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions install/windows.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -167,6 +167,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions latex.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -563,6 +563,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
4 changes: 3 additions & 1 deletion lean_projects.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -233,7 +233,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/eric-wieser/lean-matrix-cookbook" class="card-link">View on GitHub</a> (★ 97)</small>
<small><a href="https://github.com/eric-wieser/lean-matrix-cookbook" class="card-link">View on GitHub</a> (★ 98)</small>
</div>
</div>
</div>
Expand Down Expand Up @@ -648,6 +648,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
5 changes: 5 additions & 0 deletions learn.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -74,6 +74,9 @@ <h2 id="hands-on-approaches" class="markdown-heading">Hands-on approaches <a cla
abstract topology and mathematical logic.</p>
</li>
<li>
<p>You can download the <a href="https://leanprover-community.github.io/papers/lean-tactics.pdf">tactic cheatsheet (pdf)</a> for a reference of most common tactics.</p>
</li>
<li>
<p>If you wish to learn directly from source, the
<a href="https://leanprover-community.github.io/mathlib4_docs/">Lean API documentation</a>
not only includes <code>Mathlib</code>, but also covers <code>Std</code>, <code>Batteries</code>, <code>Lake</code>, and the core compiler.
Expand Down Expand Up @@ -208,6 +211,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
2 changes: 2 additions & 0 deletions mathlib-overview.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1416,6 +1416,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
6 changes: 4 additions & 2 deletions mathlib_stats.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -60,8 +60,8 @@ <h2>Counts</h2>
<th>Contributors</th>
</tr>
<tr>
<td>96773</td>
<td>187080</td>
<td>96818</td>
<td>187252</td>
<td>397</td>
</tr>
</table>
Expand Down Expand Up @@ -129,6 +129,8 @@ <h6 class="sidebar-heading mt-4">Documentation</h6>

<li class="nav-item col-12"><a href="https://loogle.lean-lang.org/">Declaration search (Loogle)</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/mathlib-manual/html-multi/">Tactic list</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/calc.html">Calc mode</a></li>

<li class="nav-item col-12"><a href="https://leanprover-community.github.io/extras/conv.html">Conv mode</a></li>
Expand Down
Loading

0 comments on commit d8b67c8

Please sign in to comment.