Repositories list

• human-eval-lean

  Public

  leanprover/human-eval-lean’s past year of commit activity
  Hand-written verified Lean solutions for the HumanEval benchmark

  Lean

  •

  MIT License

  •8•26•153•8•Updated Jan 3, 2026Jan 3, 2026

• lean4

  Public

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

  leanlean4

  Lean

  •

  Apache License 2.0

  •723•7k•810•385•Updated Jan 3, 2026Jan 3, 2026

• reference-manual

  Public

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

  Lean

  •

  Apache License 2.0

  •47•94•98•25•Updated Jan 3, 2026Jan 3, 2026

• cslib

  Public

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

  computer-sciencelean

  Lean

  •

  Apache License 2.0

  •44•218•13•17•Updated Jan 3, 2026Jan 3, 2026

• lean4-nightly

  Public

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

  3•23•0•0•Updated Jan 3, 2026Jan 3, 2026

• lean4-pr-releases

  Public

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

  3•2•0•0•Updated Jan 3, 2026Jan 3, 2026

• reservoir-index

  Public

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

  Lean

  •2•5•0•0•Updated Jan 2, 2026Jan 2, 2026

• KLR

  Public

  leanprover/KLR’s past year of commit activity
  A formalization of ML kernel languages

  C

  •

  Apache License 2.0

  •11•36•7•12•Updated Jan 2, 2026Jan 2, 2026

• verso

  Public

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

  JavaScript

  •

  Apache License 2.0

  •98•246•55•11•Updated Dec 29, 2025Dec 29, 2025

• lean-action

  Public

  leanprover/lean-action’s past year of commit activity
  GitHub action for standard CI in Lean projects

  leangithub-actionslean4

  Shell

  •

  Apache License 2.0

  •10•25•7•4•Updated Dec 24, 2025Dec 24, 2025

• Pantograph

  Public

  leanprover/Pantograph’s past year of commit activity
  (Mirror) A Machine-to-Machine Interaction System for Lean 4

  machine-learningtheorem-provingproof-assistant+ 1lean4

  Lean

  •

  Apache License 2.0

  •8•43•0•0•Updated Dec 23, 2025Dec 23, 2025

• comparator

  Public
  Lean

  •1•11•3•4•Updated Dec 21, 2025Dec 21, 2025

• lean4export

  Public

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

  Lean

  •

  Apache License 2.0

  •12•22•2•2•Updated Dec 21, 2025Dec 21, 2025

• lean4checker

  Public

  leanprover/lean4checker’s past year of commit activity
  Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.

  Lean

  •

  Apache License 2.0

  •9•30•0•2•Updated Dec 21, 2025Dec 21, 2025

• vscode-lean4

  Public
  Visual Studio Code extension for the Lean 4 proof assistant

  vscodelean

  TypeScript

  •

  Apache License 2.0

  •83•246•52•8•Updated Dec 20, 2025Dec 20, 2025

• radar

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

  Java

  •0•2•0•1•Updated Dec 20, 2025Dec 20, 2025

• verso-web-components

  Public

  leanprover/verso-web-components’s past year of commit activity
  A collection of reusable components from the Lean website designed build related sites with the same look and feel.

  Lean

  •

  Apache License 2.0

  •0•2•0•0•Updated Dec 19, 2025Dec 19, 2025

• subverso

  Public

  leanprover/subverso’s past year of commit activity
  Lean

  •

  Apache License 2.0

  •6•6•3•0•Updated Dec 19, 2025Dec 19, 2025

• fp-lean

  Public

  leanprover/fp-lean’s past year of commit activity
  Functional Programming in Lean

  Lean

  •

  Other

  •50•133•56•7•Updated Dec 19, 2025Dec 19, 2025

• theorem_proving_in_lean4

  Public
  Theorem Proving in Lean 4

  leanlean4

  Lean

  •

  Apache License 2.0

  •118•228•68•20•Updated Dec 19, 2025Dec 19, 2025

• reservoir

  Public

  leanprover/reservoir’s past year of commit activity
  Package registry for Lean/Lake.

  Vue

  •

  Apache License 2.0

  •7•33•14•2•Updated Dec 19, 2025Dec 19, 2025

• doc-gen4

  Public

  leanprover/doc-gen4’s past year of commit activity
  Document Generator for Lean 4

  lean4

  Lean

  •

  Apache License 2.0

  •57•116•25•2•Updated Dec 18, 2025Dec 18, 2025

• lean4-cli

  Public

  leanprover/lean4-cli’s past year of commit activity
  A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

  clileanlean4

  Lean

  •

  MIT License

  •22•94•1•0•Updated Dec 14, 2025Dec 14, 2025

• verso-templates

  Public

  leanprover/verso-templates’s past year of commit activity
  Templates for getting started with Verso

  Lean

  •1•2•0•0•Updated Dec 11, 2025Dec 11, 2025

• lean4web

  Public
  CSS

  •

  Apache License 2.0

  •46•0•0•1•Updated Dec 8, 2025Dec 8, 2025

• radar-bench-mathlib4

  Public

  leanprover/radar-bench-mathlib4’s past year of commit activity
  Radar benchmarking for mathlib4

  Python

  •0•1•0•0•Updated Dec 1, 2025Dec 1, 2025

• radar-bench-lean4

  Public
  Radar benchmarking for lean4

  Python

  •0•0•0•0•Updated Nov 24, 2025Nov 24, 2025

• LNSym

  Public

  leanprover/LNSym’s past year of commit activity
  Armv8 Native Code Symbolic Simulator in Lean

  lean4

  Lean

  •

  Apache License 2.0

  •23•95•7•14•Updated Nov 21, 2025Nov 21, 2025

• radar-bench-cslib

  Public
  Radar benchmarking for cslib

  Python

  •0•0•0•0•Updated Nov 19, 2025Nov 19, 2025

• radar-bench-verso

  Public
  Radar benchmarking for verso

  Python

  •0•0•0•0•Updated Oct 22, 2025Oct 22, 2025