aesop
White-box automation for Lean 4
of 163 packages depending on leanprover-community/aesop
1-20Sort by
Package Name
TristanCacqueray/advent-of-leanuses
c7cff45
lindy-labs/aegisuses
v4.14.0
Verify Cairo contracts in Lean 4FR-vdash-bot/algorithmuses
v4.15.0-rc1
Verified efficient algorithms in Lean4.jsm28/AMuses
v4.16.0-rc1
Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)dwrensha/animateuses
v4.15.0
tool for turning Lean proofs into Blender animationsFormalizedFormalLogic/arithmetizationuses
a4a08d9
Formalization of Arithmetization of Mathematics/MetamathematicsBergschaf/banach_tarskiuses
79fb157
mseri/BETuses
9ac1294
Project for "Machine-Checked Mathematics" at the Lorentz Centerfpvandoorn/bonnAnalysisuses
26b4e42
repository for the collaborative formalization seminar in Analysis in Bonnsven-manthe/borel_detuses
a4a08d9
jaalonso/Calculemus2uses
v4.15.0-rc1
Proof exercises in Lean4 and Isabelle/HOLjaalonso/Calculemus2_esuses
a4a08d9
Ejercicios de demostraciĆ³n con Lean4 e Isabelle/HOL.fpvandoorn/carlesonuses
v4.16.0-rc1
A formalized proof of Carleson's theorem in Leanknowsys/certifyingDataloguses
v4.16.0-rc1
A certified checker for Datalog entailments, written in LeanYaelDillies/ChandraFurstLiptonuses
662f986
Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexitydwrensha/Chessuses
v4.15.0
Chess in Lean 4anlucia/chromatic_polynomialuses
v4.11.0-rc1
Chromatic polynomial in Lean4Verified-zkEVM/Cleanuses
e291aa4
Lean circuit DSL for AIRRemyDegenne/cltuses
a895713
Central limit theorem in LeanGasStationManager/CodeProofTheArenauses
de91b59
Lean coding problem solving challenge website with proof verification