Projects in Awesome Lists by leanprover
A curated list of projects in awesome lists by leanprover .
https://github.com/leanprover/lean4
Lean 4 programming language and theorem prover
Last synced: 07 Mar 2026
https://github.com/leanprover/lean3
Lean Theorem Prover
dependent-types lean programming-language theorem-proving type-theory verification
Last synced: 29 Sep 2025
https://github.com/leanprover/cslib
The Lean Computer Science Library (CSLib)
Last synced: 18 Apr 2026
https://github.com/leanprover/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
Last synced: 16 May 2025
https://github.com/leanprover/theorem_proving_in_lean4
Theorem Proving in Lean 4
Last synced: 07 Apr 2025
https://github.com/leanprover/lean2
Lean theorem prover version 0.2 (it supports standard and HoTT modes)
Last synced: 08 Apr 2025
https://github.com/leanprover/vscode-lean
Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.
Last synced: 20 Oct 2025
https://github.com/leanprover/lake
**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
Last synced: 11 Apr 2025
https://github.com/leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Last synced: 31 Oct 2025
https://github.com/leanprover/lnsym
Armv8 Native Code Symbolic Simulator in Lean
Last synced: 31 Oct 2025
https://github.com/leanprover/LNSym
Armv8 Native Code Symbolic Simulator in Lean
Last synced: 22 Jul 2025
https://github.com/leanprover/tc
Reference type checker for the Lean theorem prover
Last synced: 19 Jul 2025
https://github.com/leanprover/leanink
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
alectryon interactive-theorem-proving lean lean4 visualization
Last synced: 08 Apr 2025
https://github.com/leanprover/sampcert
SampCert : Verified Differential Privacy
Last synced: 05 Oct 2025
https://github.com/leanprover/SampCert
SampCert : Verified Differential Privacy
Last synced: 22 Jul 2025
https://github.com/leanprover/LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
alectryon interactive-theorem-proving lean lean4 visualization
Last synced: 22 Jul 2025
https://github.com/leanprover/leansat
This package provides an interface and foundation for verified SAT reasoning
Last synced: 22 Jul 2025
https://github.com/leanprover/theorem_proving_in_lean
Theorem proving in Lean
Last synced: 05 Apr 2025
https://github.com/leanprover/functional_programming_in_lean
A book about functional programming in Lean
Last synced: 15 Oct 2025
https://github.com/leanprover/lean4checker
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
Last synced: 02 Mar 2026
https://github.com/leanprover/lean-action
GitHub action for standard CI in Lean projects
Last synced: 08 Apr 2025
https://github.com/leanprover/lean4export
Plain-text declaration export for Lean 4
Last synced: 31 Oct 2025
https://github.com/leanprover/skills
Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more
Last synced: 26 Feb 2026
https://github.com/leanprover/lean-llvm
Custom-built LLVM toolchain for use in Lean 4
Last synced: 14 Mar 2026
https://github.com/leanprover/cmu-15815-s15
CMU 15-815 Spring 2015 : Interactive Theorem Proving
Last synced: 11 Jan 2026
https://github.com/leanprover/lean-eval-leaderboard
Results for the lean-eval benchmark (https://github.com/leanprover/lean-eval)
Last synced: 01 May 2026
https://github.com/leanprover/emacs-dependencies
Auxiliary repository to store emacs packages required by Lean Emacs mode
Last synced: 31 Oct 2025
https://github.com/leanprover/lean.tmbundle
A TextMate bundle for the Lean language
Last synced: 31 Oct 2025
https://github.com/leanprover/lean4-pr-releases
Automated releases from leanprover/lean4 PRs
Last synced: 30 May 2026
https://github.com/leanprover/verso-web-components
A collection of reusable components from the Lean website designed build related sites with the same look and feel.
Last synced: 24 Dec 2025
https://github.com/leanprover/lean-eval
Comparator-based Lean formal mathematics eval
Last synced: 01 May 2026
https://github.com/leanprover/radar-bench-mathlib4
Radar benchmarking for mathlib4
Last synced: 17 May 2026
https://github.com/leanprover/sos
Harrison's sum-of-squares decision procedure for nonlinear real arithmetic in Lean 4
formal-verification lean4 nonlinear-real-arithmetic semidefinite-programming sum-of-squares theorem-proving
Last synced: 16 May 2026
https://github.com/leanprover/lean4-ci-test
A copy of the lean4 repository to test changes to the repository and CI setup
Last synced: 07 Oct 2025
https://github.com/leanprover/radar-bench-lean4
Radar benchmarking for lean4
Last synced: 17 Apr 2026
https://github.com/leanprover/verso-blueprint
Build structured Proof Blueprints with Verso
Last synced: 01 May 2026
https://github.com/leanprover/verso-templates
Templates for getting started with Verso
Last synced: 26 Oct 2025