No results found

batteries

The "batteries included" extended library for the Lean programming language and theorem prover
Displaying 1-20 of 127 packages depending on leanprover-community/batteries
Sort by

  1. lindy-labs/aegisusesv4.10.0-rc2

    Verify Cairo contracts in Lean 4

  2. leanprover-community/aesopusesfc871f7

    White-box automation for Lean 4

  3. FR-vdash-bot/algorithmuses13f9b00

    Verified efficient algorithms in Lean4.

  4. jsm28/AMusesv4.13.0-rc3

    Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)

  5. dwrensha/animateusesv4.11.0

    tool for turning Lean proofs into Blender animations

  6. FormalizedFormalLogic/arithmetizationuses937cd32

    Formalization of Arithmetization of Mathematics/Metamathematics

  7. mseri/BETusescc0bc87

    Project for "Machine-Checked Mathematics" at the Lorentz Center

  8. fpvandoorn/bonnAnalysisusesdc4a6b1

    repository for the collaborative formalization seminar in Analysis in Bonn

  9. jaalonso/Calculemus2uses422d1a5

    Proof exercises in Lean4 and Isabelle/HOL

  10. jaalonso/Calculemus2_esuses422d1a5

    Ejercicios de demostración con Lean4 e Isabelle/HOL.

  11. fpvandoorn/carlesonusesv4.12.0

    A formalized proof of Carleson's theorem in Lean

  12. knowsys/certifyingDatalogusesv4.11.0

    A certified checker for Datalog entailments, written in Lean

  13. YaelDillies/ChandraFurstLiptonuses46fed98

    Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity

  14. anlucia/chromatic_polynomialusesdc167d2

    Chromatic polynomial in Lean4

  15. RemyDegenne/cltuses6d5e1c8

    Central limit theorem in Lean

  16. morganfshirley/CommCompuses46fed98

    Formalization of communication complexity in Lean

  17. dwrensha/compfilesusescc0bc87

    Catalog Of Math Problems Formalized In Lean

  18. leanprover-community/ConNFusesv4.12.0

    A formal consistency proof of Quine's set theory New Foundations

  19. T-Brick/controlflowusesv4.8.0

    A control flow graph library for Lean

  20. optsuite/convexusesdc4a6b1