awesome-coq icon indicating copy to clipboard operation
awesome-coq copied to clipboard
verified publisher icon coq-community

Linking to repository or website

Open palmskog opened this issue 5 years ago • 0 comments

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

palmskog avatar Jan 09 '20 19:01 palmskog