I'm trying to collect links to both Coq tutorials and Coq course material (https://github.com/coq-community/awesome-coq#course-material). Will the material (in particular, the code) for the recent MathComp winter school end up in some GitHub repo like this one? https://github.com/math-comp/tutorial_material

Or should I link directly to the school website? (A bit less convenient for people who might just want the tutorial code + exercises)

The sources are here: https://github.com/gares/math-comp-school-2022

the doc is surely perfectible, and the repo is heavy, since it has (a few version of) wacoq deployment

Last updated: Jul 15 2024 at 21:02 UTC