tutorial_material icon indicating copy to clipboard operation
tutorial_material copied to clipboard

Published 20 hours ago • verified publisher icon math-comp

Wrong link to mathcomp school in Readme

Open Casteran opened this issue 2 years ago • 0 comments

Looks like the link to mathcomp summer school leads to a winter school on classic Coq. https://team.inria.fr/marelle/en/coq-winter-school-2018/

Casteran avatar Jun 03 '22 05:06 Casteran