leanprover-community/batteries Issues
Add docker / gitpod integrations
Updated 3Missing lemma about `Sum.elim`
Closed 6Usage examples for HashMap.lean
Closed 2Bugs in `ext` tactic
Closed 2`omega` does not support powers.
Closed 2Array.minX functions are buggy
Closed 4Document std4#232
ClosedUpdate stable branch to v4.3.0
Closed 1Codify style guide
UpdatedCodify naming conventions
UpdatedAutomate testing against Mathlib?
Updated 6Consider removing RBTree.ofList
Closed 3