Stream: math-comp users

Topic: MC School 2022 material


view this post on Zulip Karl Palmskog (Dec 15 2022 at 21:31):

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)

view this post on Zulip Enrico Tassi (Dec 15 2022 at 21:50):

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

view this post on Zulip Enrico Tassi (Dec 15 2022 at 21:52):

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