Open Zimmi48 opened 2 years ago
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:
For learning resources outside this scope (non-English books, courses, and any videos), I think the best place is currently the Coq wiki.
Recently, I've proposed that we could extend the list of available Coq documentation on the website to include non-English learning resources: #189.
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:
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?