awesome-coq

awesome-coq copied to clipboard

Set up CI for checking Awesome project format

1

We should try to copy some other Awesome project's CI for checking rule conformance (since there is a tool and everything).

palmskog

Add a section "Press articles related to Coq"

3

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...

jfehrle

E.g. this is a list one level up: https://github.com/awesomo4000/awesome-provable

anton-trunov

Some projects have unimpressive websites but great-looking repositories with badges, e.g., on GitHub. When should we link to which?

palmskog

Should we use only alphabetical list item order, or be more flexible, e.g., publication year for books?

palmskog

Update and add some recent projects I've been involved with.

1

ejgallego

Hi folks, would it make sense to rename the repos to `awesome-rocq` ?

ejgallego

https://github.com/rocq-community/awesome-coq/blob/6520b5770bf5babc93f1dec730df3b6d34df0733/README.md?plain=1#L270 There is an updated version of this pdf that takes into account (among others) the renaming to Rocq: https://staff.aist.go.jp/reynald.affeldt/documents/karate-rocq.pdf

affeldt-aist