-
Notifications
You must be signed in to change notification settings - Fork 297
Insights: leanprover-community/mathlib
Overview
-
0 Active pull requests
-
- 0 Merged pull requests
- 0 Open pull requests
- 1 Closed issue
- 0 New issues
There hasn’t been any commit activity on leanprover-community/mathlib in the last week.
Want to help out?
1 Issue closed by 1 person
-
The Shapley-Folkman lemma
#18135 closed
Jul 4, 2024