No results found

batteries

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

  1. adomani/adventsusesf46c044

    Advent of Code

  2. lindy-labs/aegisusesv4.14.0

    Verify Cairo contracts in Lean 4

  3. leanprover-community/aesopuses8ce422e

    White-box automation for Lean 4

  4. fgdorais/algebrauses5b23a12

    Algebra library for Lean 4

  5. FR-vdash-bot/algorithmusesv4.15.0-rc1

    Verified efficient algorithms in Lean4.

  6. jsm28/AMusesv4.16.0-rc2

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

  7. dwrensha/animateusesv4.15.0

    tool for turning Lean proofs into Blender animations

  8. FormalizedFormalLogic/arithmetizationusesf007bfe

    Formalization of Arithmetization of Mathematics/Metamathematics

  9. Bergschaf/banach_tarskiusesd2b1546

  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. sven-manthe/borel_detusesf007bfe

  13. jaalonso/Calculemus2usesv4.15.0-rc1

    Proof exercises in Lean4 and Isabelle/HOL

  14. jaalonso/Calculemus2_esusesf007bfe

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

  15. fpvandoorn/carlesonusesv4.16.0-rc2

    A formalized proof of Carleson's theorem in Lean

  16. knowsys/certifyingDatalogusesv4.11.0

    A certified checker for Datalog entailments, written in Lean

  17. YaelDillies/ChandraFurstLiptonuses46fed98

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

  18. dwrensha/Chessusesv4.15.0

    Chess in Lean 4

  19. anlucia/chromatic_polynomialusesdc167d2

    Chromatic polynomial in Lean4

  20. Verified-zkEVM/Cleanuses8feac54

    Lean circuit DSL for AIR