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: Dec 06 2023 at 14:01 UTC