This page has been moved to <a href="https://core-math.gitlabpages.inria.fr/">https://core-math.gitlabpages.inria.fr/</a>.