Displaying 1-20 of 266 packages depending on leanprover-community/batteries
Sort by
  1. b-mehta/ABCExceptionsusesv4.21.0-rc3

    Exceptions to the ABC conjecture in Lean
  2. YaelDillies/AddCombiusesv4.22.0

    The (currently unofficial) sublibrary of Mathlib dedicated to additive combinatorics
  3. adomani/adventsusese91bd23

    Advent of Code
  4. lindy-labs/aegisuses78e1181

    Verify Cairo contracts in Lean 4
  5. leanprover-community/aesopusesv4.24.0-rc1

    White-box automation for Lean 4
  6. b-mehta/AharoniKormanuses5b23a12

    Disproof of the Aharoni–Korman conjecture
  7. fgdorais/algebrausesv4.24.0-rc1

    Algebra library for Lean 4
  8. astrainfinita/algorithmusesv4.23.0-rc2

    Verified efficient algorithms in Lean4.
  9. jsm28/AMusesv4.24.0-rc1

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

    tool for turning Lean proofs into Blender animations
  11. FormalizedFormalLogic/arithmetizationuses80520e5

    Formalization of Arithmetization of Mathematics/Metamathematics
  12. Verified-zkEVM/Arklibusesv4.22.0

    Formally Verified Arguments of Knowledge in Lean
  13. JobPetrovcic/ArtinWedderburnuses44e2d2e

    A formalized proof of Artin-Wedderburn theorem in Lean4
  14. ctchou/AutomataTheoryusesv4.24.0-rc1

    Automata theory in Lean
  15. eshelyaron/bddusesv4.23.0-rc2

    Binary Decision Diagrams in Lean 4
  16. mseri/BETusesdc72dcd

    Project for "Machine-Checked Mathematics" at the Lorentz Center
  17. lua-vr/BirkhoffErgodicThmusesc8a3a7f

    A proof of Pointwise Birkhoff Ergodic Theorem in Lean
  18. hanwenzhu/blueprint-genusesv4.24.0-rc1

    Proof of concept for generating a blueprint directly from Lean source.
  19. fpvandoorn/bonnAnalysisusesdc4a6b1

    repository for the collaborative formalization seminar in Analysis in Bonn