1 Release published by 1 person

• v4.17.0

  published Mar 5, 2025

4 Pull requests merged by 2 people

• bump mathlib

  #238 merged Mar 7, 2025

• Delete upstreamed lemmas

  #237 merged Mar 6, 2025

• lint

  #236 merged Mar 6, 2025

• Bump mathlib to v4.17.0

  #234 merged Mar 5, 2025

1 Issue closed by 1 person

• CI fails to build the blueprint

  #235 closed Mar 5, 2025

1 Unresolved conversation

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.

• Task A.4

  #219 commented on Mar 5, 2025 • 0 new comments