leanprover-community/batteries

The "batteries included" extended library for the Lean programming language and theorem prover

GitHub repository with 392 stars and 149 forks.

Language: Lean

Topics: lean, lean4

Open provider repository

24h trend summary

Trending score 0.42, freshness score 1.00, stars gained +0, forks gained +1.

Latest metric snapshot

2026-06-15: 392 stars and 149 forks.

Similar repositories

  1. 1. leanprover/lean4

    Lean 4 programming language and theorem prover

    GitHub repository with 8,237 stars and 873 forks.

    Trending score: 2.33; stars gained: +13; forks gained: +2.

    Language: Lean

    Topics: lean, lean4

  2. 2. leanprover-community/ProofWidgets4

    Helper toolkit for creating your own Lean 4 UserWidgets

    GitHub repository with 211 stars and 45 forks.

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

    Language: Lean

    Topics: lean, lean4, visualization

  3. 3. leanprover-community/batteries

    The "batteries included" extended library for the Lean programming language and theorem prover

    GitHub repository with 392 stars and 149 forks.

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

    Language: Lean

    Topics: lean, lean4

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

    コード例で学ぶ Lean 言語

    GitHub repository with 169 stars and 14 forks.

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

    Language: Lean

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

  5. 5. leanprover/lean4-cli

    A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

    GitHub repository with 110 stars and 25 forks.

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

    Language: Lean

    Topics: cli, lean, lean4

  6. 6. hawkrobe/linglib

    A Lean 4 library for formal linguistics.

    GitHub repository with 10 stars and 0 forks.

    Trending score: 0.10; 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,237 stars and 873 forks.

    Trending score: 2.33; stars gained: +13; forks gained: +2.

    Language: Lean

    Topics: lean, lean4

  2. 2. leanprover-community/mathlib4

    The math library of Lean 4

    GitHub repository with 3,443 stars and 1,404 forks.

    Trending score: 2.29; stars gained: +8; forks gained: +7.

    Language: Lean

    Topics: lean4

  3. 3. Verified-zkEVM/clean

    Lean circuit DSL

    GitHub repository with 151 stars and 23 forks.

    Trending score: 1.26; stars gained: +3; forks gained: +0.

    Language: Lean

  4. 4. lfglabs-dev/verity

    Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

    GitHub repository with 119 stars and 15 forks.

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

    Language: Lean

  5. 5. leanprover/comparator

    GitHub repository with 82 stars and 15 forks.

    Trending score: 1.21; stars gained: +3; forks gained: +1.

    Language: Lean

Trending topic: lean

  1. 1. leanprover/lean4

    Lean 4 programming language and theorem prover

    GitHub repository with 8,237 stars and 873 forks.

    Trending score: 2.33; stars gained: +13; forks gained: +2.

    Language: Lean

    Topics: lean, lean4

  2. 2. leanprover-community/ProofWidgets4

    Helper toolkit for creating your own Lean 4 UserWidgets

    GitHub repository with 211 stars and 45 forks.

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

    Language: Lean

    Topics: lean, lean4, visualization

  3. 3. leanprover-community/batteries

    The "batteries included" extended library for the Lean programming language and theorem prover

    GitHub repository with 392 stars and 149 forks.

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

    Language: Lean

    Topics: lean, lean4

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

    コード例で学ぶ Lean 言語

    GitHub repository with 169 stars and 14 forks.

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

    Language: Lean

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

  5. 5. leanprover/lean4-cli

    A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

    GitHub repository with 110 stars and 25 forks.

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

    Language: Lean

    Topics: cli, lean, lean4

  6. 6. hawkrobe/linglib

    A Lean 4 library for formal linguistics.

    GitHub repository with 10 stars and 0 forks.

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

    Language: Lean

    Topics: formal, lean, linguistics, mathlib