Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs: best-of update 2024.12.19 #113

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
88 changes: 44 additions & 44 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -61,41 +61,41 @@ _Quick reference with short text_

<details><summary><b><a href="https://leanprover-community.github.io/mathlib-overview.html">A mathlib overview</a></b> (🥇15 · ⭐ 55) - Hosts the website for mathlib and other Lean community.. <code><a href="http://bit.ly/34MBwT8">MIT</a></code></summary>

- [GitHub](https://github.com/leanprover-community/leanprover-community.github.io) (👨‍💻 120 · 🔀 120 · 📋 38 - 57% open · ⏱️ 26.11.2024):
- [GitHub](https://github.com/leanprover-community/leanprover-community.github.io) (👨‍💻 120 · 🔀 120 · 📋 38 - 57% open · ⏱️ 18.12.2024):

```
git clone https://github.com/leanprover-community/leanprover-community.github.io
```

</details>
<details><summary><b><a href="https://github.com/madvorak/lean3-tactic-lean4">lean3-tactic-lean4</a></b> (🥈6 · ⭐ 25 · 📈) - Reference sheet for people who know Lean 3 and want.. <code><a href="http://bit.ly/3rvuUlR">Unlicense</a></code> <code>Lean 3</code></summary>
<details><summary><b><a href="https://github.com/madvorak/lean4-tactics">Lean 4 Tactics</a></b> (🥈6 · ⭐ 63 · 📈) - Overview of tactics in Lean 4 for beginners longer version. <code><a href="http://bit.ly/3rvuUlR">Unlicense</a></code></summary>

- [GitHub](https://github.com/madvorak/lean3-tactic-lean4) (👨‍💻 2 · 🔀 2 · ⏱️ 13.11.2024):
- [GitHub](https://github.com/madvorak/lean4-tactics) (👨‍💻 2 · 🔀 2 · ⏱️ 19.09.2024):

```
git clone https://github.com/madvorak/lean3-tactic-lean4
git clone https://github.com/madvorak/lean4-tactics
```

</details>
<details><summary><b><a href="https://lean-ja.github.io/lean-by-example/">Lean by Example</a></b> (🥈6) - Lean. <code><a href="http://bit.ly/34MBwT8">MIT</a></code> <code>ja</code></summary>
<details><summary><b><a href="https://github.com/madvorak/lean3-tactic-lean4">lean3-tactic-lean4</a></b> (🥈6 · ⭐ 25) - Reference sheet for people who know Lean 3 and want.. <code><a href="http://bit.ly/3rvuUlR">Unlicense</a></code> <code>Lean 3</code></summary>

- [GitHub](https://github.com/lean-ja/lean-ja.github.io) (👨‍💻 3 · ⏱️ 18.06.2024):
- [GitHub](https://github.com/madvorak/lean3-tactic-lean4) (👨‍💻 2 · 🔀 2 · ⏱️ 13.11.2024):

```
git clone https://github.com/lean-ja/lean-ja.github.io
git clone https://github.com/madvorak/lean3-tactic-lean4
```

</details>
<details><summary><b><a href="https://github.com/madvorak/lean4-tactics">Lean 4 Tactics</a></b> (🥉5 · ⭐ 61) - Overview of tactics in Lean 4 for beginners longer version. <code><a href="http://bit.ly/3rvuUlR">Unlicense</a></code></summary>
<details><summary><b><a href="https://lean-ja.github.io/lean-by-example/">Lean by Example</a></b> (🥈6) - Lean. <code><a href="http://bit.ly/34MBwT8">MIT</a></code> <code>ja</code></summary>

- [GitHub](https://github.com/madvorak/lean4-tactics) (👨‍💻 2 · 🔀 2 · ⏱️ 19.09.2024):
- [GitHub](https://github.com/lean-ja/lean-ja.github.io) (👨‍💻 3 · ⏱️ 18.06.2024):

```
git clone https://github.com/madvorak/lean4-tactics
git clone https://github.com/lean-ja/lean-ja.github.io
```

</details>
<details><summary><b><a href="https://github.com/madvorak/lean4-cheatsheet/blob/main/lean-tactics.pdf">Lean 4 Cheatsheet</a></b> (🥉4 · ⭐ 23) - Printable (A4) overview of tactics in Lean 4 for beginners. <code><a href="http://bit.ly/3rvuUlR">Unlicense</a></code></summary>
<details><summary><b><a href="https://github.com/madvorak/lean4-cheatsheet/blob/main/lean-tactics.pdf">Lean 4 Cheatsheet</a></b> (🥉5 · ⭐ 23 · 📈) - Printable (A4) overview of tactics in Lean 4 for.. <code><a href="http://bit.ly/3rvuUlR">Unlicense</a></code></summary>

- [GitHub](https://github.com/madvorak/lean4-cheatsheet) (🔀 1 · ⏱️ 19.09.2024):

Expand All @@ -104,9 +104,9 @@ _Quick reference with short text_
```

</details>
<details><summary><b><a href="https://leanprover-community.github.io/mathlib4_docs/">(Mathlib4) General Documentation (API Reference)</a></b> (🥉4 · ⭐ 8) - Official Mathlib API Reference. <code>❗Unlicensed</code></summary>
<details><summary><b><a href="https://leanprover-community.github.io/mathlib4_docs/">(Mathlib4) General Documentation (API Reference)</a></b> (🥉5 · ⭐ 8 · 📈) - Official Mathlib API Reference. <code>❗Unlicensed</code></summary>

- [GitHub](https://github.com/leanprover-community/mathlib4_docs) (👨‍💻 5 · 🔀 2 · ⏱️ 09.12.2024):
- [GitHub](https://github.com/leanprover-community/mathlib4_docs) (👨‍💻 6 · 🔀 3 · ⏱️ 18.12.2024):

```
git clone https://github.com/leanprover-community/mathlib4_docs
Expand All @@ -133,7 +133,7 @@ _Tutorials with long text_

<details><summary><b><a href="https://github.com/leanprover-community/lean4-metaprogramming-book">A Lean 4 Metaprogramming Book</a></b> (🥇15 · ⭐ 230) - Practical manual with code that goes into the.. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>

- [GitHub](https://github.com/leanprover-community/lean4-metaprogramming-book) (👨‍💻 24 · 🔀 55 · 📥 110 · 📋 39 - 43% open · ⏱️ 05.11.2024):
- [GitHub](https://github.com/leanprover-community/lean4-metaprogramming-book) (👨‍💻 24 · 🔀 55 · 📥 140 · 📋 39 - 43% open · ⏱️ 05.11.2024):

```
git clone https://github.com/leanprover-community/lean4-metaprogramming-book
Expand All @@ -142,28 +142,28 @@ _Tutorials with long text_
</details>
<details><summary><b><a href="https://lean-lang.org/theorem_proving_in_lean4/">Theorem Proving in Lean 4</a></b> (🥈12 · ⭐ 170) - Theorem Proving in Lean 4. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>

- [GitHub](https://github.com/leanprover/theorem_proving_in_lean4) (👨‍💻 80 · 🔀 90 · 📋 42 - 69% open · ⏱️ 14.10.2024):
- [GitHub](https://github.com/leanprover/theorem_proving_in_lean4) (👨‍💻 80 · 🔀 91 · 📋 42 - 69% open · ⏱️ 14.10.2024):

```
git clone https://github.com/leanprover/theorem_proving_in_lean4
```

</details>
<details><summary><b><a href="https://hrmacbeth.github.io/math2001/">The mechanics of proof</a></b> (🥈11 · ⭐ 210) - Early university level course. <code>❗Unlicensed</code></summary>
<details><summary><b><a href="https://leanprover-community.github.io/mathematics_in_lean/">Mathematics in Lean</a></b> (🥈10 · ⭐ 290) - Note that there are many parts of the documentation.. <code>❗Unlicensed</code></summary>

- [GitHub](https://github.com/hrmacbeth/math2001) (🔀 80 · 📋 17 - 52% open · ⏱️ 09.12.2024):
- [GitHub](https://github.com/leanprover-community/mathematics_in_lean) (👨‍💻 3 · 🔀 190 · ⏱️ 02.12.2024):

```
git clone https://github.com/hrmacbeth/math2001
git clone https://github.com/leanprover-community/mathematics_in_lean
```

</details>
<details><summary><b><a href="https://leanprover-community.github.io/mathematics_in_lean/">Mathematics in Lean</a></b> (🥉10 · ⭐ 280 · 📉) - Note that there are many parts of the documentation.. <code>❗Unlicensed</code></summary>
<details><summary><b><a href="https://hrmacbeth.github.io/math2001/">The mechanics of proof</a></b> (🥈10 · ⭐ 210 · 📉) - Early university level course. <code>❗Unlicensed</code></summary>

- [GitHub](https://github.com/leanprover-community/mathematics_in_lean) (👨‍💻 3 · 🔀 190 · ⏱️ 02.12.2024):
- [GitHub](https://github.com/hrmacbeth/math2001) (🔀 81 · 📋 17 - 52% open · ⏱️ 09.12.2024):

```
git clone https://github.com/leanprover-community/mathematics_in_lean
git clone https://github.com/hrmacbeth/math2001
```

</details>
Expand Down Expand Up @@ -199,7 +199,7 @@ _Actual Lean 4 code for learning purposes_
```

</details>
<details><summary><b><a href="https://github.com/eric-wieser/lean-matrix-cookbook">The Matrix Cookbook, using Lean's mathlib</a></b> (🥉7 · ⭐ 88) - The matrix cookbook, proved in the Lean theorem prover. <code><a href="http://bit.ly/34MBwT8">MIT</a></code></summary>
<details><summary><b><a href="https://github.com/eric-wieser/lean-matrix-cookbook">The Matrix Cookbook, using Lean's mathlib</a></b> (🥉7 · ⭐ 90) - The matrix cookbook, proved in the Lean theorem prover. <code><a href="http://bit.ly/34MBwT8">MIT</a></code></summary>

- [GitHub](https://github.com/eric-wieser/lean-matrix-cookbook) (👨‍💻 2 · 🔀 11 · ⏱️ 23.11.2024):

Expand All @@ -218,7 +218,7 @@ _Reusable Lean 4 code for enhancing usability_

<details><summary><b><a href="https://github.com/leanprover-community/ProofWidgets4">ProofWidgets</a></b> (🥇19 · ⭐ 120) - Helper toolkit for creating your own Lean 4 UserWidgets. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>

- [GitHub](https://github.com/leanprover-community/ProofWidgets4) (👨‍💻 14 · 🔀 26 · 📥 390K · 📋 21 - 57% open · ⏱️ 12.12.2024):
- [GitHub](https://github.com/leanprover-community/ProofWidgets4) (👨‍💻 14 · 🔀 27 · 📥 400K · 📋 23 - 60% open · ⏱️ 12.12.2024):

```
git clone https://github.com/leanprover-community/ProofWidgets4
Expand All @@ -237,16 +237,16 @@ _Reusable Lean 4 code for enhancing usability_

_Reusable Lean 4 code (theorems, etc.)_

<details><summary><b><a href="https://github.com/lecopivo/SciLean">SciLean</a></b> (🥇15 · ⭐ 340) - Scientific computing in Lean 4. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>
<details><summary><b><a href="https://github.com/lecopivo/SciLean">SciLean</a></b> (🥇15 · ⭐ 350) - Scientific computing in Lean 4. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>

- [GitHub](https://github.com/lecopivo/SciLean) (👨‍💻 9 · 🔀 30 · 📋 39 - 56% open · ⏱️ 09.12.2024):
- [GitHub](https://github.com/lecopivo/SciLean) (👨‍💻 9 · 🔀 30 · 📋 39 - 56% open · ⏱️ 17.12.2024):

```
git clone https://github.com/lecopivo/SciLean
```

</details>
<details><summary><b><a href="https://github.com/leanprover-community/aesop">aesop</a></b> (🥈14 · ⭐ 220 · 📉) - Proof search tactic (Automated Extensible Search for Obvious Proofs). <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>
<details><summary><b><a href="https://github.com/leanprover-community/aesop">aesop</a></b> (🥈14 · ⭐ 220) - Proof search tactic (Automated Extensible Search for Obvious Proofs). <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>

- [GitHub](https://github.com/leanprover-community/aesop) (👨‍💻 20 · 🔀 27 · 📋 64 - 34% open · ⏱️ 05.12.2024):

Expand All @@ -257,7 +257,7 @@ _Reusable Lean 4 code (theorems, etc.)_
</details>
<details><summary><b><a href="https://github.com/ufmg-smite/lean-smt">SMT Lean</a></b> (🥈10 · ⭐ 150) - Tactics for discharging Lean goals into SMT solvers. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>

- [GitHub](https://github.com/ufmg-smite/lean-smt) (👨‍💻 8 · 🔀 19 · 📋 17 - 47% open · ⏱️ 05.12.2024):
- [GitHub](https://github.com/ufmg-smite/lean-smt) (👨‍💻 8 · 🔀 19 · 📋 17 - 47% open · ⏱️ 17.12.2024):

```
git clone https://github.com/ufmg-smite/lean-smt
Expand All @@ -273,7 +273,7 @@ _Reusable Lean 4 code (theorems, etc.)_
```

</details>
<details><summary><b><a href="https://github.com/joehendrix/lean-crypto">lean-crypto</a></b> (🥉8 · ⭐ 41) - Cryptographic routines for the Lean 4 language. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>
<details><summary><b><a href="https://github.com/joehendrix/lean-crypto">lean-crypto</a></b> (🥉8 · ⭐ 42) - Cryptographic routines for the Lean 4 language. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>

- [GitHub](https://github.com/joehendrix/lean-crypto) (👨‍💻 3 · 🔀 3 · ⏱️ 09.09.2024):

Expand Down Expand Up @@ -301,7 +301,7 @@ _Core Lean 4 code_

<details><summary><b><a href="https://github.com/leanprover/lean4">lean4</a></b> (🥇32 · ⭐ 4.8K) - Lean 4 repository. Includes `Lake`. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>

- [GitHub](https://github.com/leanprover/lean4) (👨‍💻 210 · 🔀 430 · 📥 520K · 📋 2K - 30% open · ⏱️ 12.12.2024):
- [GitHub](https://github.com/leanprover/lean4) (👨‍💻 210 · 🔀 430 · 📥 540K · 📋 2K - 30% open · ⏱️ 19.12.2024):

```
git clone https://github.com/leanprover/lean4
Expand All @@ -310,41 +310,41 @@ _Core Lean 4 code_
</details>
<details><summary><b><a href="https://github.com/leanprover-community/mathlib4">mathlib4</a></b> (🥈25 · ⭐ 1.6K) - Math library. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>

- [GitHub](https://github.com/leanprover-community/mathlib4) (👨‍💻 370 · 🔀 340 · 📋 420 - 55% open · ⏱️ 12.12.2024):
- [GitHub](https://github.com/leanprover-community/mathlib4) (👨‍💻 370 · 🔀 340 · 📋 420 - 55% open · ⏱️ 18.12.2024):

```
git clone https://github.com/leanprover-community/mathlib4
```

</details>
<details><summary><b><a href="https://github.com/leanprover/elan">elan</a></b> (🥈21 · ⭐ 320 · 📈) - Version Manager. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>
<details><summary><b><a href="https://github.com/leanprover/elan">elan</a></b> (🥈21 · ⭐ 330) - Version Manager. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>

- [GitHub](https://github.com/leanprover/elan) (👨‍💻 22 · 🔀 36 · 📥 900K · 📋 77 - 33% open · ⏱️ 11.12.2024):
- [GitHub](https://github.com/leanprover/elan) (👨‍💻 22 · 🔀 36 · 📥 910K · 📋 77 - 33% open · ⏱️ 11.12.2024):

```
git clone https://github.com/leanprover/elan
```

</details>
<details><summary><b><a href="https://github.com/leanprover-community/batteries">std4</a></b> (🥉18 · ⭐ 260 · 📈) - Standard Library. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>
<details><summary><b><a href="https://github.com/leanprover-community/batteries">std4</a></b> (🥉18 · ⭐ 260) - Standard Library. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>

- [GitHub](https://github.com/leanprover-community/batteries) (👨‍💻 66 · 🔀 110 · 📥 1 · 📋 62 - 32% open · ⏱️ 12.12.2024):
- [GitHub](https://github.com/leanprover-community/batteries) (👨‍💻 66 · 🔀 110 · 📥 2 · 📋 62 - 32% open · ⏱️ 12.12.2024):

```
git clone https://github.com/leanprover/std4
```

</details>
<details><summary><b><a href="https://github.com/leanprover/doc-gen4">doc-gen4</a></b> (🥉14 · ⭐ 68) - Document Generator. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>
<details><summary><b><a href="https://github.com/leanprover/doc-gen4">doc-gen4</a></b> (🥉15 · ⭐ 69 · 📈) - Document Generator. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>

- [GitHub](https://github.com/leanprover/doc-gen4) (👨‍💻 33 · 🔀 43 · 📋 85 - 29% open · ⏱️ 12.12.2024):
- [GitHub](https://github.com/leanprover/doc-gen4) (👨‍💻 33 · 🔀 44 · 📋 85 - 27% open · ⏱️ 19.12.2024):

```
git clone https://github.com/leanprover/doc-gen4
```

</details>
<details><summary><b><a href="https://github.com/leanprover-community/quote4">quote4</a></b> (🥉10 · ⭐ 75) - Intuitive, type-safe expression quotations for Lean 4. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>
<details><summary><b><a href="https://github.com/leanprover-community/quote4">quote4</a></b> (🥉10 · ⭐ 76) - Intuitive, type-safe expression quotations for Lean 4. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>

- [GitHub](https://github.com/leanprover-community/quote4) (👨‍💻 8 · 🔀 12 · 📋 22 - 59% open · ⏱️ 02.12.2024):

Expand All @@ -361,9 +361,9 @@ _Core Lean 4 code_

_Lean 4 Games_

<details><summary><b><a href="https://adam.math.hhu.de/">Lean Game Server</a></b> (🥇17 · ⭐ 200 · 📈) - Mainly for Natural Number Game. Be careful not to.. <code><a href="http://bit.ly/2M0xdwT">❗️GPL-3.0</a></code></summary>
<details><summary><b><a href="https://adam.math.hhu.de/">Lean Game Server</a></b> (🥇17 · ⭐ 210) - Mainly for Natural Number Game. Be careful not to.. <code><a href="http://bit.ly/2M0xdwT">❗️GPL-3.0</a></code></summary>

- [GitHub](https://github.com/leanprover-community/lean4game) (👨‍💻 21 · 🔀 34 · 📋 230 - 32% open · ⏱️ 10.12.2024):
- [GitHub](https://github.com/leanprover-community/lean4game) (👨‍💻 21 · 🔀 35 · 📋 230 - 32% open · ⏱️ 10.12.2024):

```
git clone https://github.com/leanprover-community/lean4game
Expand Down Expand Up @@ -394,14 +394,14 @@ _Tools not made in Lean 4_

<details><summary><b><a href="https://github.com/leanprover/vscode-lean4">vscode-lean4</a></b> (🥇20 · ⭐ 170) - Visual Studio Code extension. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>

- [GitHub](https://github.com/leanprover/vscode-lean4) (👨‍💻 58 · 🔀 50 · 📥 460 · 📋 210 - 20% open · ⏱️ 10.12.2024):
- [GitHub](https://github.com/leanprover/vscode-lean4) (👨‍💻 58 · 🔀 51 · 📥 480 · 📋 210 - 21% open · ⏱️ 18.12.2024):

```
git clone https://github.com/leanprover/vscode-lean4
```

</details>
<details><summary><b><a href="https://github.com/lean-dojo/LeanDojo">LeanDojo</a></b> (🥈16 · ⭐ 590 · 📉) - Tool for data extraction and interacting with Lean programmatically. <code><a href="http://bit.ly/34MBwT8">MIT</a></code></summary>
<details><summary><b><a href="https://github.com/lean-dojo/LeanDojo">LeanDojo</a></b> (🥈16 · ⭐ 590) - Tool for data extraction and interacting with Lean programmatically. <code><a href="http://bit.ly/34MBwT8">MIT</a></code></summary>

- [GitHub](https://github.com/lean-dojo/LeanDojo) (👨‍💻 17 · 🔀 94 · 📋 66 - 6% open · ⏱️ 08.12.2024):

Expand All @@ -410,7 +410,7 @@ _Tools not made in Lean 4_
```

</details>
<details><summary><b><a href="https://github.com/Paper-Proof/paperproof">Paperproof</a></b> (🥈16 · ⭐ 370 · 📉) - Theorem proving interface which feels like pen-and-paper proofs. <code><a href="http://bit.ly/34MBwT8">MIT</a></code></summary>
<details><summary><b><a href="https://github.com/Paper-Proof/paperproof">Paperproof</a></b> (🥈16 · ⭐ 370) - Theorem proving interface which feels like pen-and-paper proofs. <code><a href="http://bit.ly/34MBwT8">MIT</a></code></summary>

- [GitHub](https://github.com/Paper-Proof/paperproof) (👨‍💻 5 · 🔀 10 · 📋 34 - 32% open · ⏱️ 13.11.2024):

Expand All @@ -419,7 +419,7 @@ _Tools not made in Lean 4_
```

</details>
<details><summary><b><a href="https://live.lean-lang.org/">lean4web</a></b> (🥉11 · ⭐ 71 · 📉) - Web editor. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>
<details><summary><b><a href="https://live.lean-lang.org/">lean4web</a></b> (🥉10 · ⭐ 73 · 📉) - Web editor. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>

- [GitHub](https://github.com/leanprover-community/lean4web) (👨‍💻 7 · 🔀 20 · 📋 37 - 21% open · ⏱️ 24.11.2024):

Expand All @@ -428,7 +428,7 @@ _Tools not made in Lean 4_
```

</details>
<details><summary><b><a href="https://reservoir.lean-lang.org/">Reservoir</a></b> (🥉8 · ⭐ 17) - Lakes package registry. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>
<details><summary><b><a href="https://reservoir.lean-lang.org/">Reservoir</a></b> (🥉7 · ⭐ 17 · 📉) - Lakes package registry. <code><a href="http://bit.ly/3nYMfla">Apache-2</a></code></summary>

- [GitHub](https://github.com/leanprover/reservoir) (🔀 1 · 📋 25 - 24% open · ⏱️ 19.10.2024):

Expand Down
Loading