Repositories list

• reservoir-index

  Public

  leanprover/reservoir-index’s past year of commit activity
  Registry index for Reservoir

  Lean

  •33 forks•66 stars•00 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• cslib

  Public

  leanprover/cslib’s past year of commit activity
  The Lean Computer Science Library (CSLib)

  computer-sciencelean

  computer-sciencelean

  Lean

  •

  Apache License 2.0

  •128128 forks•507507 stars•3232 issues•5656 pull requests•Updated Apr 24, 2026Apr 24, 2026

• lean4-pr-releases

  Public

  leanprover/lean4-pr-releases’s past year of commit activity
  Automated releases from leanprover/lean4 PRs

  33 forks•22 stars•00 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• lean4

  Public

  leanprover/lean4’s past year of commit activity
  Lean 4 programming language and theorem prover

  leanlean4

  leanlean4

  Lean

  •

  Apache License 2.0

  •826826 forks•7.9k7.9k stars•914914 issues•525525 pull requests•Updated Apr 24, 2026Apr 24, 2026

• verso

  Public

  leanprover/verso’s past year of commit activity
  Lean documentation authoring tool

  Lean

  •

  Apache License 2.0

  •107107 forks•315315 stars•5858 issues•1919 pull requests•Updated Apr 24, 2026Apr 24, 2026

• lean-llvm

  Public
  Custom-built LLVM toolchain for use in Lean 4

  55 forks•77 stars•00 issues•22 pull requests•Updated Apr 24, 2026Apr 24, 2026

• reference-manual

  Public

  leanprover/reference-manual’s past year of commit activity
  The Lean reference manual

  Lean

  •

  Apache License 2.0

  •5454 forks•108108 stars•105105 issues•1717 pull requests•Updated Apr 24, 2026Apr 24, 2026

• lean4-nightly

  Public

  leanprover/lean4-nightly’s past year of commit activity
  Nightly builds

  33 forks•2323 stars•00 issues•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• reservoir

  Public
  Package registry for Lean/Lake.

  Vue

  •

  Apache License 2.0

  •77 forks•4646 stars•88 issues•22 pull requests•Updated Apr 23, 2026Apr 23, 2026

• leansqlite

  Public
  SQLite bindings for Lean

  C

  •

  Apache License 2.0

  •11 fork•4242 stars•11 issue•00 pull requests•Updated Apr 23, 2026Apr 23, 2026

• lean-kernel-arena

  Public
  Lean

  •1010 forks•2323 stars•00 issues•22 pull requests•Updated Apr 22, 2026Apr 22, 2026

• doc-gen4

  Public
  Document Generator for Lean 4

  lean4

  lean4

  Lean

  •

  Apache License 2.0

  •6363 forks•145145 stars•2828 issues•66 pull requests•Updated Apr 22, 2026Apr 22, 2026

• verso-slides

  Public
  Lean

  •

  Apache License 2.0

  •00 forks•88 stars•22 issues•00 pull requests•Updated Apr 22, 2026Apr 22, 2026

• lean-action

  Public
  GitHub action for standard CI in Lean projects

  leangithub-actionslean4

  leangithub-actionslean4

  Shell

  •

  Apache License 2.0

  •1717 forks•3232 stars•1010 issues•1010 pull requests•Updated Apr 22, 2026Apr 22, 2026

• vscode-lean4

  Public
  VS Code extension for the Lean 4 programming language and theorem prover

  vscodelean

  vscodelean

  TypeScript

  •

  Apache License 2.0

  •9292 forks•271271 stars•4848 issues•1111 pull requests•Updated Apr 21, 2026Apr 21, 2026

• comparator

  Public
  Lean

  •66 forks•6262 stars•66 issues•55 pull requests•Updated Apr 20, 2026Apr 20, 2026

• radar-bench-lean4

  Public
  Radar benchmarking for lean4

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 20, 2026Apr 20, 2026

• verso-web-components

  Public
  A collection of reusable components from the Lean website designed build related sites with the same look and feel.

  Lean

  •

  Apache License 2.0

  •00 forks•33 stars•00 issues•00 pull requests•Updated Apr 18, 2026Apr 18, 2026

• radar

  Public
  "Do you know how fast you were going?"

  Java

  •11 fork•77 stars•00 issues•11 pull request•Updated Apr 17, 2026Apr 17, 2026

• presentations

  Public
  lean-related presentations

  TeX

  •

  Apache License 2.0

  •1111 forks•1717 stars•11 issue•33 pull requests•Updated Apr 17, 2026Apr 17, 2026

• lean4export

  Public

  leanprover/lean4export’s past year of commit activity
  Plain-text declaration export for Lean 4

  Lean

  •

  Apache License 2.0

  •1818 forks•3131 stars•11 issue•22 pull requests•Updated Apr 17, 2026Apr 17, 2026

• lean4-cli

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

  clileanlean4

  clileanlean4

  Lean

  •

  MIT License

  •2323 forks•107107 stars•11 issue•22 pull requests•Updated Apr 17, 2026Apr 17, 2026

• lean4web

  Public
  CSS

  •

  Apache License 2.0

  •5151 forks•00 stars•00 issues•22 pull requests•Updated Apr 16, 2026Apr 16, 2026

• SampCert

  Public
  SampCert : Verified Differential Privacy

  Lean

  •

  Apache License 2.0

  •1717 forks•9797 stars•44 issues•66 pull requests•Updated Apr 15, 2026Apr 15, 2026

• illuminate

  Public
  Lean

  •

  Apache License 2.0

  •00 forks•66 stars•00 issues•00 pull requests•Updated Apr 14, 2026Apr 14, 2026

• subverso

  Public
  Lean

  •

  Apache License 2.0

  •99 forks•77 stars•33 issues•00 pull requests•Updated Apr 11, 2026Apr 11, 2026

• verso-templates

  Public
  Templates for getting started with Verso

  Lean

  •22 forks•2222 stars•11 issue•00 pull requests•Updated Apr 8, 2026Apr 8, 2026

• Pantograph

  Public
  (Mirror) A Machine-to-Machine Interaction System for Lean 4

  machine-learningtheorem-provingproof-assistant+ 1

  machine-learningtheorem-provingproof-assistantlean4

  Lean

  •

  Apache License 2.0

  •1212 forks•6161 stars•00 issues•00 pull requests•Updated Apr 4, 2026Apr 4, 2026

• radar-bench-mathlib4

  Public
  Radar benchmarking for mathlib4

  Python

  •00 forks•11 star•00 issues•00 pull requests•Updated Mar 30, 2026Mar 30, 2026

• human-eval-lean

  Public
  Hand-written verified Lean solutions for the HumanEval benchmark

  Lean

  •

  MIT License

  •99 forks•2828 stars•6868 issues•99 pull requests•Updated Mar 27, 2026Mar 27, 2026