Skip to content

@leanprover Lean

Change the repository type filter

All

    Repositories list

    148 repositories

    • reference-manual

      Public
      The Lean reference manual
      Lean
      •
      Apache License 2.0
      •63•122•113•19•Updated Aug 9, 2026Aug 9, 2026

    • subverso

      Public
      Lean
      •
      Apache License 2.0
      •13•8•3•3•Updated Aug 9, 2026Aug 9, 2026

    • lean4-pr-releases

      Public
      Automated releases from leanprover/lean4 PRs
      3•3•0•0•Updated Aug 9, 2026Aug 9, 2026

    • downstream-lean4

      Public
      A collection of packages downstream of Lean 4.
      Lean
      •1•1•0•7•Updated Aug 9, 2026Aug 9, 2026

    • lean4

      Public
      Lean 4 programming language and theorem prover
      leanlean4
      leanlean4
      Lean
      •
      Apache License 2.0
      •930•8.7k•965•641•Updated Aug 9, 2026Aug 9, 2026

    • verso-blueprint

      Public
      Build structured Proof Blueprints with Verso
      Lean
      •3•25•0•8•Updated Aug 9, 2026Aug 9, 2026

    • cslib

      Public
      The Lean Computer Science Library (CSLib)
      computer-sciencelean
      computer-sciencelean
      Lean
      •
      Apache License 2.0
      •179•644•46•95•Updated Aug 9, 2026Aug 9, 2026

    • lean-eval-leaderboard

      Public
      Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)
      Lean
      •
      Apache License 2.0
      •6•18•1•1•Updated Aug 9, 2026Aug 9, 2026

    • lean-eval

      Public
      Comparator-based Lean formal mathematics eval
      Lean
      •
      Apache License 2.0
      •38•35•3•15•Updated Aug 9, 2026Aug 9, 2026

    • lean-workbench

      Public
      Online Lean Workbench
      TypeScript
      •
      Apache License 2.0
      •0•4•18•2•Updated Aug 9, 2026Aug 9, 2026

    • verso

      Public
      Lean documentation authoring tool
      Lean
      •
      Apache License 2.0
      •119•371•65•19•Updated Aug 9, 2026Aug 9, 2026

    • lean4-nightly

      Public
      Nightly builds
      3•23•0•0•Updated Aug 9, 2026Aug 9, 2026

    • verso-slides

      Public
      Lean
      •
      Apache License 2.0
      •3•16•10•0•Updated Aug 9, 2026Aug 9, 2026

    • reservoir-index

      Public
      Registry index for Reservoir
      Lean
      •3•8•1•0•Updated Aug 8, 2026Aug 8, 2026

    • lean-eval-submissions

      Public
      Submission pipeline and results store for the lean-eval benchmark (https://github.com/leanprover/lean-eval)
      Python
      •
      Apache License 2.0
      •1•6•2•0•Updated Aug 8, 2026Aug 8, 2026

    • leagent

      Public
      Lean
      •0•2•0•1•Updated Aug 7, 2026Aug 7, 2026

    • downstream

      Public
      Scripts for managing lake package monorepos.
      TypeScript
      •0•0•0•0•Updated Aug 7, 2026Aug 7, 2026

    • radar-bench-verso

      Public
      Radar benchmarking for verso
      Python
      •0•0•0•1•Updated Aug 6, 2026Aug 6, 2026

    • comparator

      Public
      Lean
      •
      Apache License 2.0
      •21•121•8•6•Updated Aug 6, 2026Aug 6, 2026

    • comparator-live

      Public
      An online live.lean-lang.org-style playground for running the Comparator tool
      TypeScript
      •
      Apache License 2.0
      •0•2•0•0•Updated Aug 5, 2026Aug 5, 2026

    • lean-kernel-arena

      Public
      Lean
      •21•32•0•1•Updated Aug 5, 2026Aug 5, 2026

    • leansqlite

      Public
      SQLite bindings for Lean
      C
      •
      Apache License 2.0
      •1•52•0•0•Updated Aug 4, 2026Aug 4, 2026

    • fp-lean

      Public
      Functional Programming in Lean
      Lean
      •
      Other
      •69•180•71•11•Updated Aug 4, 2026Aug 4, 2026

    • lean-action

      Public
      GitHub action for standard CI in Lean projects
      leangithub-actionslean4
      leangithub-actionslean4
      Shell
      •
      Apache License 2.0
      •21•39•12•16•Updated Aug 4, 2026Aug 4, 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
      •0•3•0•1•Updated Aug 3, 2026Aug 3, 2026

    • verso-templates

      Public
      Templates for getting started with Verso
      Lean
      •4•37•3•1•Updated Aug 3, 2026Aug 3, 2026

    • doc-gen4

      Public
      Document Generator for Lean 4
      lean4
      lean4
      Lean
      •
      Apache License 2.0
      •67•165•31•6•Updated Aug 3, 2026Aug 3, 2026

    • lean4export

      Public
      Plain-text declaration export for Lean 4
      Lean
      •
      Apache License 2.0
      •22•38•2•1•Updated Aug 3, 2026Aug 3, 2026

    • illuminate

      Public
      Lean
      •
      Apache License 2.0
      •1•11•1•0•Updated Aug 3, 2026Aug 3, 2026

    • lean4-cli

      Public
      A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
      clileanlean4
      clileanlean4
      Lean
      •
      MIT License
      •28•116•2•4•Updated Aug 3, 2026Aug 3, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.