lean4
There are 310 repositories under lean4 topic.
leanprover/lean4
Lean 4 programming language and theorem prover
leanprover-community/mathlib4
The math library of Lean 4
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Paper-Proof/paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
lecopivo/SciLean
Scientific computing in Lean 4
Julian/lean.nvim
neovim support for the Lean theorem prover
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
leanprover-community/aesop
White-box automation for Lean 4
hrmacbeth/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
leanprover/theorem_proving_in_lean4
Theorem Proving in Lean 4
leanprover-community/lean4game
Server to host lean games.
kmill/lean4-raytracer
A simple raytracer written in Lean 4
wellecks/llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
leanprover/lake
**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
google-deepmind/debate
Formalizing stochastic doubly-efficient debate
leanprover-community/NNG4
Natural Number Game
ufmg-smite/lean-smt
Tactics for discharging Lean goals into SMT solvers.
leanprover-community/lean4-samples
Code samples for Lean 4
leanprover-community/quote4
Intuitive, type-safe expression quotations for Lean 4.
aripiprazole/rinha
🧪 | Rinha de Backend Lean4
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
leanprover/LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
leanprover-community/con-nf
A formal consistency proof of Quine's set theory New Foundations
leanprover-community/lean4-mode
Emacs major mode for Lean 4
leanprover/doc-gen4
Document Generator for Lean 4
dwrensha/compfiles
Catalog Of Math Problems Formalized In Lean
leanprover-community/lean4web
The Lean 4 web editor
siddhartha-gadgil/LeanAide
Tools based on AI for helping with Lean 4
IPDSnelting/tba-2021
Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
siddhartha-gadgil/Saturn
Experiments with SAT solvers with proofs in Lean 4
nomeata/loogle
Mathlib search tool
opencompl/lean-mlir
embedding MLIR in LEAN
risc0/risc0-lean4
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover