awesome-provable icon indicating copy to clipboard operation
awesome-provable copied to clipboard

Published 20 hours ago • verified publisher icon awesomo4000

Add this list to sindresorhus/awesome

Open anton-trunov opened this issue 5 years ago • 1 comments

Hi! Have you considered adding this list to the list of awesome lists for better discoverability. We just did this for https://github.com/coq-community/awesome-coq (see https://github.com/sindresorhus/awesome/pull/1697) and our experience was pretty great (kudos to @palmskog for that PR).

anton-trunov avatar Feb 13 '20 16:02 anton-trunov

Thanks. Will try. Just saw this. Hence the delayed response.

Yikes. Looks like they have a bunch of stuff you have to do... any takers?

awesomo4000 avatar Mar 31 '20 23:03 awesomo4000