Displaying 1-20 of 181 packages depending on leanprover-community/batteries
Sort by
  1. adomani/adventsusesf46c044

    Advent of Code
  2. lindy-labs/aegisusesf523fcb

    Verify Cairo contracts in Lean 4
  3. leanprover-community/aesopusesv4.19.0-rc2

    White-box automation for Lean 4
  4. fgdorais/algebrausesf523fcb

    Algebra library for Lean 4
  5. FR-vdash-bot/algorithmusesa84fc2b

    Verified efficient algorithms in Lean4.
  6. jsm28/AMusesc509e87

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

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

    Formalization of Arithmetization of Mathematics/Metamathematics
  9. Verified-zkEVM/Arklibusesv4.18.0

    Formally Verified Arguments of Knowledge in Lean
  10. mseri/BETusesdc72dcd

    Project for "Machine-Checked Mathematics" at the Lorentz Center
  11. fpvandoorn/bonnAnalysisusesdc4a6b1

    repository for the collaborative formalization seminar in Analysis in Bonn
  12. jaalonso/Calculemus2usesf523fcb

    Proof exercises in Lean4 and Isabelle/HOL
  13. jaalonso/Calculemus2_esusesf007bfe

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

    A formalized proof of Carleson's theorem in Lean
  15. knowsys/certifyingDatalogusesv4.17.0

    A certified checker for Datalog entailments, written in Lean
  16. YaelDillies/ChandraFurstLiptonusesv4.18.0

    Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
  17. dwrensha/Chessusesv4.15.0

    Chess in Lean 4
  18. anlucia/chromatic_polynomialusesdc167d2

    Chromatic polynomial in Lean4