Status of Pending PRs - Dec 2025

Stream: PhysLean

[Nicola Bernini]

Hi, I can see in the repo here
https://github.com/HEPLean/PhysLean/pulls
there are 4 PRs that have been pending for quite a while: Aug, July, May, Apr
Assuming the authors have abandoned them, given so much time has passed and they have not been finalized yet, does it make sense for someone to take over and finalize them?

[Joseph Tooby-Smith]

I just closed one of them which has already been implemented. The others belong to @Matteo Cipollina.

I think there might be more productive things which could be done than taking over these PRs. E.g. helping improve the API around classical mechanics, quantum mechanics or special relativity.

[Matteo Cipollina]

Sorry for the pollution, for the one on PseudoRiemannian I haven't yet been able yet to find an optimal integration of that API with the new Riemannian manifold API in mathlib (potentially a not unproductive task). The other PR on hopfield networks has been awaiting a more principled (for PhysLean) and physically grounded approach based on spin glasses (following Talagrand's book), which is now finally in good shape for PR, though it would need me to PR a big chunk of completed prerequisites (GaussianIntegrationByParts) to Mathlib, which again I plan to do soon.