Karl Palmskog (Sep 12 2023 at 17:39): Karl Palmskog (Sep 12 2023 at 17:39):I try to track significant Coq-related course material here: https://github.com/coq-community/awesome-coq#course-material
Is there any obvious maintained resource I've missed?
Pierre Rousselin (Sep 13 2023 at 07:55):Very nice work! I have this page for my first year undergraduate course.
https://www.math.univ-paris13.fr/~rousselin/ipf.html
It is in French and needs more work, but I have time this year to make it better.
Also an experiment with first year high school students here :
https://www.math.univ-paris13.fr/~rousselin/enseignement.html
Having a public repository is not always possible because it would contain solutions, which is not always what you want.
grianneau (Sep 13 2023 at 08:32):I adapted a bit the first 6 chapters of Logical Foundations to be used with SSReflect:
http://158.39.201.94/
the sources are available in the branch 'with_ssr_more_steps' in the DeepSpec/sfdev private repository.
Last updated: Oct 13 2024 at 01:02 UTC