Does anyone know why we have a fork of https://github.com/ilyasergey/pnp as https://github.com/math-comp/pnp in the math-comp organization? I think it's not a good practice and we should remove this fork, unless there is a reason I'm missing?
Last updated: Oct 13 2024 at 01:02 UTC