Replacing list of tutorials on the website with link to awesome list?

[Zimmi48]

Recently, I've proposed that we could extend the list of available Coq documentation on the website to include non-English learning resources: coq/rocq-prover.org#10.

More recently, I've noticed by looking at https://www.google.com/search?q=coq+proof+course&tbm=vid that there are many Coq video tutorials and this could deserve a category on its own in the documentation page.

Overall, I've reflected that keeping a curated list on the website is hard and maybe this is best done externally, e.g. with an awesome list.

The awesome-coq list already has a resources category: https://github.com/coq-community/awesome-coq#resources.

Another possibility would be to have a separate awesome-coq-learning list dedicated to collecting and curating books, tutorials, videos, etc. about Coq. Separate awesome lists for learning exist in several ecosystems:

• https://github.com/iamericfletcher/awesome-r-learning-resources#readme
• https://github.com/GustavBertram/awesome-common-lisp-learning#readme
• https://github.com/pehapkari/awesome-symfony-education#readme
• https://github.com/fukuball/Awesome-Laravel-Education#readme
• https://github.com/siboehm/awesome-learn-datascience#readme
• https://github.com/ujjwalkarn/Machine-Learning-Tutorials#readme
• https://github.com/guillaume-chevalier/awesome-deep-learning-resources#readme
• https://github.com/gaerae/awesome-algorithms-education#readme

What do @palmskog and @anton-trunov (awesome-coq maintainers) think? Does it sound like a good idea to replace the list being maintained on the website by a link to an awesome list? Should this become a separate awesome list or is awesome-coq the right place to do this? Are non-English resources and video tutorials good categories to add to such list?

And what do @coq/website-maintainers and @coq/core think?

[palmskog]

It's a lot of work to set up a new Awesome list and get it listed on the general Awesome list. If someone did it for "Coq learning", I would reference it from the Awesome Coq list and probably remove/outsource some of the Awesome Coq resources.

In the meantime, there are three kinds of learning resources that can be listed on Awesome Coq:

• Books in English related to Coq
• Course material in English related to Coq
• Tutorials in English or as pure Coq code

For learning resources outside this scope (non-English books, courses, and any videos), I think the best place is currently the Coq wiki.