Stream: math-comp devs

Topic: pnp fork in math-comp org

view this post on Zulip Cyril Cohen (Dec 07 2021 at 16:26):

Does anyone know why we have a fork of as 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: Jul 24 2024 at 12:02 UTC