Displaying 1-20 of 141 packages depending on leanprover-community/aesop
Sort by
  1. lindy-labs/aegisusesdeb5bd4

    Verify Cairo contracts in Lean 4
  2. FR-vdash-bot/algorithmusesv4.13.0-rc1

    Verified efficient algorithms in Lean4.
  3. jsm28/AMusesv4.13.0-rc1

    Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  4. dwrensha/animateusesv4.11.0

    tool for turning Lean proofs into Blender animations
  5. FormalizedFormalLogic/arithmetizationuses622d52c

    Formalization of Arithmetization of Mathematics/Metamathematics
  6. mseri/BETusesff42052

    Project for "Machine-Checked Mathematics" at the Lorentz Center
  7. fpvandoorn/bonnAnalysisuses26b4e42

    repository for the collaborative formalization seminar in Analysis in Bonn
  8. jaalonso/Calculemus2usesv4.13.0-rc1

    Proof exercises in Lean4 and Isabelle/HOL
  9. jaalonso/Calculemus2_esusesv4.13.0-rc1

    Ejercicios de demostraciĆ³n con Lean4 e Isabelle/HOL.
  10. fpvandoorn/carlesonusesff42052

    A formalized proof of Carleson's theorem in Lean
  11. knowsys/certifyingDatalogusesv4.11.0

    A certified checker for Datalog entailments, written in Lean
  12. YaelDillies/ChandraFurstLiptonuses662f986

    Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
  13. anlucia/chromatic_polynomialusesv4.11.0-rc1

    Chromatic polynomial in Lean4
  14. RemyDegenne/cltusesa895713

    Central limit theorem in Lean
  15. morganfshirley/CommCompuses662f986

    Formalization of communication complexity in Lean
  16. dwrensha/compfilesusesv4.13.0-rc1

    Catalog Of Math Problems Formalized In Lean
  17. leanprover-community/ConNFusesff42052

    A formal consistency proof of Quine's set theory New Foundations
  18. T-Brick/controlflowusesv4.8.0

    A control flow graph library for Lean
  19. optsuite/convexusesdeb5bd4