lean-ja/lean-by-example

24h trend summary

Trending score 0.32, activity score 1.86, stars gained +0, forks gained +0.

Latest metric snapshot

2026-06-05: 168 stars and 14 forks.

Similar repositories

1. 1. leanprover/lean4

   Lean 4 programming language and theorem prover

   GitHub repository with 8,170 stars and 867 forks.

   Trending score: 1.18; stars gained: +16; forks gained: +2.

   Language: Lean

   Topics: lean4, lean

2. 2. jzshischolar/PyLeaner

   A Python interface to the Lean 4 kernel — designed for AI–Lean interactive automated theorem proving and related research. PyLeaner provides a production-ready bridge between Python and Lean's internals.

   GitHub repository with 14 stars and 0 forks.

   Trending score: 0.32; stars gained: +1; forks gained: +0.

   Language: Lean

   Topics: lean, lsp-client, theorem-proving

3. 3. lean-ja/lean-by-example

   コード例で学ぶ Lean 言語

   GitHub repository with 168 stars and 14 forks.

   Trending score: 0.32; stars gained: +0; forks gained: +0.

   Language: Lean

   Topics: lean, lean4, mdbook, functional-programming, theorem-proving, reference

4. 4. Verified-zkEVM/ArkLib

   Formally Verified Arguments of Knowledge in Lean

   GitHub repository with 295 stars and 68 forks.

   Trending score: 0.05; stars gained: +0; forks gained: +1.

   Language: Lean

   Topics: formal-verification, lean, lean4, snark, zero-knowledge, zk

5. 5. hawkrobe/linglib

   A Lean 4 library for formal linguistics.

   GitHub repository with 10 stars and 0 forks.

   Trending score: 0.05; stars gained: +0; forks gained: +0.

   Language: Lean

   Topics: formal, lean, linguistics, mathlib

Trending in Lean

1. 1. leanprover/lean4

   Lean 4 programming language and theorem prover

   GitHub repository with 8,170 stars and 867 forks.

   Trending score: 1.18; stars gained: +16; forks gained: +2.

   Language: Lean

   Topics: lean4, lean

2. 2. leanprover-community/mathlib4

   The math library of Lean 4

   GitHub repository with 3,391 stars and 1,371 forks.

   Trending score: 1.04; stars gained: +11; forks gained: +8.

   Language: Lean

   Topics: lean4

3. 3. facebookresearch/atlas-lean

   ATLAS Autoformalized Textbook Library At Scale

   GitHub repository with 211 stars and 21 forks.

   Trending score: 1.00; stars gained: +10; forks gained: +1.

   Language: Lean

4. 4. Robby955/FormalSLT

   Zero-sorry Lean 4 library: finite-sample SLT bounds, sharp McDiarmid, PAC-Bayes Bernstein margin shell, and Dudley chaining. Standard Lean/Mathlib axioms only.

   GitHub repository with 33 stars and 1 forks.

   Trending score: 0.90; stars gained: +7; forks gained: +0.

   Language: Lean

   Topics: lean4, machine-learning, mathematics, pac-learning, statistical-learning, theorem-proving

5. 5. google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   GitHub repository with 1,001 stars and 302 forks.

   Trending score: 0.88; stars gained: +4; forks gained: +1.

   Language: Lean

   Topics: formal-mathematics, lean4

6. 6. AxiomMath/AgreeToDisagree

   Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"

   GitHub repository with 15 stars and 2 forks.

   Trending score: 0.77; stars gained: +5; forks gained: +0.

   Language: Lean

   Topics: lean4

Trending topic: lean

1. 1. Leantime/leantime

   Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.

   GitHub repository with 9,985 stars and 981 forks.

   Trending score: 1.50; stars gained: +18; forks gained: +6.

   Language: PHP

   Topics: project-management, php, sql, kanban, gantt, timesheets

2. 2. leanprover/lean4

   Lean 4 programming language and theorem prover

   GitHub repository with 8,170 stars and 867 forks.

   Trending score: 1.18; stars gained: +16; forks gained: +2.

   Language: Lean

   Topics: lean4, lean

3. 3. jzshischolar/PyLeaner

   A Python interface to the Lean 4 kernel — designed for AI–Lean interactive automated theorem proving and related research. PyLeaner provides a production-ready bridge between Python and Lean's internals.

   GitHub repository with 14 stars and 0 forks.

   Trending score: 0.32; stars gained: +1; forks gained: +0.

   Language: Lean

   Topics: lean, lsp-client, theorem-proving

4. 4. lean-ja/lean-by-example

   コード例で学ぶ Lean 言語

   GitHub repository with 168 stars and 14 forks.

   Trending score: 0.32; stars gained: +0; forks gained: +0.

   Language: Lean

   Topics: lean, lean4, mdbook, functional-programming, theorem-proving, reference

5. 5. Verified-zkEVM/ArkLib

   Formally Verified Arguments of Knowledge in Lean

   GitHub repository with 295 stars and 68 forks.

   Trending score: 0.05; stars gained: +0; forks gained: +1.

   Language: Lean

   Topics: formal-verification, lean, lean4, snark, zero-knowledge, zk

6. 6. hawkrobe/linglib

   A Lean 4 library for formal linguistics.

   GitHub repository with 10 stars and 0 forks.

   Trending score: 0.05; stars gained: +0; forks gained: +0.

   Language: Lean

   Topics: formal, lean, linguistics, mathlib