Notification Bot (Oct 02 2023 at 14:31): Notification Bot (Oct 02 2023 at 14:31):Jerome Hugues has marked this topic as resolved.
Julin Shaji (Oct 03 2023 at 05:31):Is the migration still ongoing?
https://coq.inria.fr/library/Coq.Lists.List.html
is giving 404 for me.
Gaëtan Gilbert (Oct 03 2023 at 07:38):if you follow the links from https://coq.inria.fr/ it goes to https://coq.inria.fr/doc/V8.17.1/stdlib/Coq.Lists.List.html
however the css seems broken
Last updated: Oct 13 2024 at 01:02 UTC