Search results

Set up CI for checking Awesome project format

Status: Open.

#22 In rocq-community/awesome-coq;

· palmskog opened on Aug 12, 2021

Add a section "Press articles related to Coq"

Status: Open.

#19 In rocq-community/awesome-coq;

· jfehrle opened on Sep 29, 2020

Add related awesome lists section

Status: Open.

#15 In rocq-community/awesome-coq;

· anton-trunov opened on Feb 13, 2020

Linking to repository or website

Status: Open.

#3 In rocq-community/awesome-coq;

· palmskog opened on Jan 9, 2020

List item sorting orders

Status: Open.

#2 In rocq-community/awesome-coq;

· palmskog opened on Jan 9, 2020