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: May 31 2023 at 03:30 UTC