No results found

batteries

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

  1. adomani/adventsusesf46c044

    Advent of Code

  2. lindy-labs/aegisuses78e1181

    Verify Cairo contracts in Lean 4

  3. leanprover-community/aesopusesv4.20.0-rc2

    White-box automation for Lean 4

  4. fgdorais/algebrauses78e1181

    Algebra library for Lean 4

  5. FR-vdash-bot/algorithmusesa84fc2b

    Verified efficient algorithms in Lean4.

  6. jsm28/AMuses9207957

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

  7. dwrensha/animateusesv4.18.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. Bergschaf/banach_tarskiusesd2b1546

  11. mseri/BETusesdc72dcd

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

  12. fpvandoorn/bonnAnalysisusesdc4a6b1

    repository for the collaborative formalization seminar in Analysis in Bonn

  13. sven-manthe/borel_detuses4f7258c

  14. RemyDegenne/BrownianMotionuses1a8afbb

    Construction of a Brownian Motion in Lean

  15. chrisflav/bruhat-titsusesv4.19.0

    A formalisation of the Bruhat-Tits tree in Lean4

  16. RikHeurter/BscThesisFormalisationusesf523fcb

  17. jaalonso/Calculemus2uses1a8afbb

    Proof exercises in Lean4 and Isabelle/HOL

  18. jaalonso/Calculemus2_esusesf007bfe

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

  19. fpvandoorn/carlesonuses78e1181

    A formalized proof of Carleson's theorem in Lean

  20. knowsys/certifyingDatalogusesv4.17.0

    A certified checker for Datalog entailments, written in Lean