Closed andres-erbsen closed 4 years ago
https://github.com/coq/coq/wiki#coq-installation seems much more helpful than https://coq.inria.fr/download. Perhaps the short URL should redirect (or at least link) to the wiki page?
In particular, the wiki page includes a breakdown of advice per platform and preferred editor, which is I believe is important for a pleasant onboarding of users who already have preferences between these.
https://github.com/coq/coq/wiki#coq-installation seems much more helpful than https://coq.inria.fr/download. Perhaps the short URL should redirect (or at least link) to the wiki page?
In particular, the wiki page includes a breakdown of advice per platform and preferred editor, which is I believe is important for a pleasant onboarding of users who already have preferences between these.