mathlib
The math library of Lean 4
of 176 packages depending on leanprover-community/mathlib
1-20Sort by
Package Name
TristanCacqueray/advent-of-leanuses
v4.3.0
lindy-labs/aegisuses
v4.10.0-rc2
Verify Cairo contracts in Lean 4FR-vdash-bot/algorithmuses
v4.15.0-rc1
Verified efficient algorithms in Lean4.jsm28/AMuses
6c4358e
Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)dwrensha/animateuses
v4.14.0
tool for turning Lean proofs into Blender animationsFormalizedFormalLogic/arithmetizationuses
b18b0c8
Formalization of Arithmetization of Mathematics/MetamathematicsBergschaf/banach_tarskiuses
15ce681
mseri/BETuses
0a0178f
Project for "Machine-Checked Mathematics" at the Lorentz Centerfpvandoorn/bonnAnalysisuses
b387c54
repository for the collaborative formalization seminar in Analysis in Bonnsven-manthe/borel_detuses
238cb18
jaalonso/Calculemus2uses
5255add
Proof exercises in Lean4 and Isabelle/HOLjaalonso/Calculemus2_esuses
5255add
Ejercicios de demostraciĆ³n con Lean4 e Isabelle/HOL.fpvandoorn/carlesonuses
840e02c
A formalized proof of Carleson's theorem in Leanknowsys/certifyingDataloguses
v4.11.0
A certified checker for Datalog entailments, written in LeanYaelDillies/ChandraFurstLiptonuses
185d800
Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexitydwrensha/Chessuses
v4.14.0
Chess in Lean 4madvorak/chomskyuses
018a6a4
Port https://github.com/madvorak/grammars/ to Lean 4 (wip)anlucia/chromatic_polynomialuses
5ff8d60
Chromatic polynomial in Lean4RemyDegenne/cltuses
f7eb186
Central limit theorem in LeanGasStationManager/CodeProofTheArenauses
13f8b50
Lean coding problem solving challenge website with proof verification