search

coq-community / awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
https://coq-community.org/awesome-coq
Creative Commons Zero v1.0 Universal
298 stars 19 forks source link

Add a section "Press articles related to Coq" #19

Open jfehrle opened 3 years ago

jfehrle commented 3 years ago

I think people might enjoy reading a few press articles such as https://www.quantamagazine.org/univalent-foundations-redefines-mathematics-20150519/, which @anton-trunov liked.

Quanta has 4 other articles mentioning Coq; you can see them all at https://www.quantamagazine.org/search?q[s]=coq

From that page, these also appear relevant: https://www.quantamagazine.org/formal-verification-creates-hacker-proof-code-20160920/ https://www.quantamagazine.org/how-close-are-computers-to-automating-mathematical-reasoning-20200827/ https://www.quantamagazine.org/in-computers-we-trust-20130222/

palmskog commented 3 years ago

@jfehrle rather than including all of these articles in our list, the way I prefer to handle this would be to link to an external "Coq in the press" page, which, e.g., could be hosted on the Coq website.

Zimmi48 commented 3 years ago

FTR I specifically redirected Jim away from the Coq website and to awesome-coq because I'm not ready to commit to maintaining / curating such a list on the website (the website needs a proper and dedicated team of maintainers which it doesn't have at the current time). Maybe we should prioritize work on this last issue though (cc @maximedenes).

palmskog commented 3 years ago

@Zimmi48 I understand, but I still don't see any way it would make sense to have an ever-expanding list of "Coq press" article links here. One option is that @jfehrle creates a "Coq press" page in the Coq wiki, and we link to this wiki page from here under Resources.