brettkoonce/lean4-mlir

LLM-assisted Lean specification of neural architectures with IREE codegen.

GitHub repository with 20 stars and 2 forks.

Language: Lean

Open provider repository

Latest metric snapshot

2026-06-04: 20 stars and 2 forks.

Similar repositories

  1. 1. 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.98; stars gained: +8; forks gained: +0.

    Language: Lean

    Topics: lean, lsp-client, theorem-proving

  2. 2. leanprover/lean4

    Lean 4 programming language and theorem prover

    GitHub repository with 8,169 stars and 865 forks.

    Trending score: 0.97; stars gained: +9; forks gained: +0.

    Language: Lean

    Topics: lean4, lean

  3. 3. Verified-zkEVM/evm-asm

    GitHub repository with 34 stars and 6 forks.

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

    Language: Lean

  4. 4. leanprover-community/mathlib4

    The math library of Lean 4

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

    Trending score: 0.88; stars gained: +7; forks gained: -1.

    Language: Lean

    Topics: lean4

  5. 5. facebookresearch/atlas-lean

    ATLAS Autoformalized Textbook Library At Scale

    GitHub repository with 206 stars and 21 forks.

    Trending score: 0.76; stars gained: +5; forks gained: +3.

    Language: Lean

  6. 6. opencompl/veir

    Verified Intermediate Representation

    GitHub repository with 59 stars and 14 forks.

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

    Language: Lean

Trending in Lean

  1. 1. 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.98; stars gained: +8; forks gained: +0.

    Language: Lean

    Topics: lean, lsp-client, theorem-proving

  2. 2. leanprover/lean4

    Lean 4 programming language and theorem prover

    GitHub repository with 8,169 stars and 865 forks.

    Trending score: 0.97; stars gained: +9; forks gained: +0.

    Language: Lean

    Topics: lean4, lean

  3. 3. Verified-zkEVM/evm-asm

    GitHub repository with 34 stars and 6 forks.

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

    Language: Lean

  4. 4. leanprover-community/mathlib4

    The math library of Lean 4

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

    Trending score: 0.88; stars gained: +7; forks gained: -1.

    Language: Lean

    Topics: lean4

  5. 5. facebookresearch/atlas-lean

    ATLAS Autoformalized Textbook Library At Scale

    GitHub repository with 206 stars and 21 forks.

    Trending score: 0.76; stars gained: +5; forks gained: +3.

    Language: Lean

  6. 6. opencompl/veir

    Verified Intermediate Representation

    GitHub repository with 59 stars and 14 forks.

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

    Language: Lean