Skip to content

Pinned Loading

  1. lean4 Public

    Lean 4 programming language and theorem prover

    Lean 5.9k 616

Repositories

Showing 10 of 64 repositories
  • lean4 Public

    Lean 4 programming language and theorem prover

    Lean 5,929 Apache-2.0 616 688 (9 issues need help) 267 Updated Jul 9, 2025
  • lean4-pr-releases Public

    Automated releases from leanprover/lean4 PRs

    2 1 0 0 Updated Jul 8, 2025
  • reservoir-index Public

    Registry index for Reservoir

    Lean 3 1 0 0 Updated Jul 8, 2025
  • KLR Public

    A formalization of ML kernel languages

    C 18 Apache-2.0 4 7 3 Updated Jul 9, 2025
  • SHerLOC Public

    A StableHLO analyzer in Lean

    Lean 18 Apache-2.0 2 1 1 Updated Jul 8, 2025
  • reservoir Public

    Package registry for Lean/Lake.

    Vue 19 Apache-2.0 2 10 1 Updated Jul 8, 2025
  • reference-manual Public

    The Lean reference manual

    Lean 70 Apache-2.0 31 82 3 Updated Jul 8, 2025
  • verso Public

    Lean documentation authoring tool

    JavaScript 185 Apache-2.0 92 45 3 Updated Jul 8, 2025
  • lean4-nightly Public

    Nightly builds

    22 3 0 1 Updated Jul 8, 2025
  • TensorLib Public

    A verified tensor library in Lean

    Lean 28 Apache-2.0 3 2 1 Updated Jul 8, 2025