-
Notifications
You must be signed in to change notification settings - Fork 101
Insights: leanprover-community/batteries
Overview
-
0 Active issues
-
- 8 Merged pull requests
- 2 Open pull requests
- 0 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
8 Pull requests merged by 3 people
-
chore: move to v4.13.0-rc3
#981 merged
Oct 5, 2024 -
fix: use user's Lean search path in linter
#980 merged
Oct 4, 2024 -
chore: move to v4.13.0-rc1
#979 merged
Oct 3, 2024 -
chore: adaptations for nightly-2024-10-03
#978 merged
Oct 3, 2024 -
chore: adaptations for nightly-2024-10-01
#976 merged
Oct 3, 2024 -
fix: argument order and make abbrev
#975 merged
Oct 3, 2024 -
chore: only test Mathlib on PRs to main
#977 merged
Oct 3, 2024 -
chore: cleanup some unused arguments
#974 merged
Oct 3, 2024
2 Pull requests opened by 1 person
-
chore: add missing simp for array size lemmas
#982 opened
Oct 5, 2024 -
chore: move panicWith out of UnionFind
#983 opened
Oct 5, 2024
6 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
refactor: move theorems about lists from mathlib
#756 commented on
Oct 8, 2024 • 0 new comments -
feat: Add `String.isPrefixOf` theorems
#809 commented on
Oct 5, 2024 • 0 new comments -
feat: `Fin.foldlM` and `Fin.foldrM`
#814 commented on
Oct 3, 2024 • 0 new comments -
feat: the trailingWhitespace linter
#920 commented on
Oct 5, 2024 • 0 new comments -
feat: add `#help` commands
#969 commented on
Oct 5, 2024 • 0 new comments -
feat: `l <+~ [] ↔ l = []`
#972 commented on
Oct 5, 2024 • 0 new comments