batteries

Tech stack & purpose

Batteries is an extended standard library for Lean 4, providing a collection of data structures and tactics designed for both computer science and mathematics applications. The project is maintained by the Lean prover community and built in Lean itself, using the Lake build system. It serves as a "batteries included" foundation that other Lean projects can depend on, with particular integration points in the broader Lean ecosystem like Mathlib 4.

Community & reference links

• Mathlib Nightly Testing
• `proof_wanted`
• here
• leanprover-community.github.io/mathlib4_docs/Batteries.html

Languages

Contributors (top 30 of 96)

• 
  Mario Carneiro292 commits · 590 followers
• 
  Kim Morrison221 commits · 552 followers
• 
  Kim Morrison207 commits · 552 followers
• 
  François G. Dorais146 commits · 49 followers
• 
  Eric Wieser27 commits · 532 followers
• Joe Hendrix21 commits
• 
  Gabriel Ebner20 commits · 244 followers
• 
  Bulhwi Cha20 commits · 33 followers
• Wrenna Robson16 commits
• 
  Jannis Limperg16 commits · 73 followers
• 
  Alex Keizer15 commits · 35 followers
• 
  Joachim Breitner14 commits · 649 followers
• 
  Thomas R. Murrills14 commits · 7 followers
• 
  Garmelon12 commits · 42 followers
• 
  Johan Commelin11 commits · 101 followers
• James Gallicchio10 commits
• 
  Yury G. Kudryashov10 commits · 86 followers
• Kyle Miller9 commits
• 
  Anne Baanen9 commits · 49 followers
• 
  Alex J Best9 commits · 69 followers
• 
  Ruben Van de Velde9 commits · 24 followers
• 
  Jovan Gerbscheid8 commits · 19 followers
• 
  Taksh Kothari7 commits · 18 followers
• 
  damiano6 commits · 24 followers
• 
  Robin Arnez6 commits · 6 followers
• 
  Leonardo de Moura5 commits · 931 followers
• 
  Michael Rothgang5 commits · 19 followers
• 
  Heather Macbeth5 commits · 90 followers
• 
  Jovan Gerbscheid5 commits · 19 followers
• 
  Julia Markus Himmel5 commits · 82 followers