GitHub - coq-community/manifesto: Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct. - discu.eu

Reddit

Coq-community: A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of Coq packages. https://github.com/coq-community/manifesto 5 comments 1/7/2018 coq

Linking pages

GitHub - coq-community/awesome-coq: A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog] https://github.com/coq-community/awesome-coq 0 comments

Linked pages

Various Licenses and Comments about Them - GNU Project - Free Software Foundation https://www.gnu.org/licenses/license-list.html#NonFreeSoftwareLicenses 566 comments
Licenses by Name | Open Source Initiative http://www.opensource.org/licenses/alphabetical 63 comments
GitHub - arasatasaygin/openlogos: Free logos for open source projects https://github.com/arasatasaygin/openlogos 63 comments
MIT License | Choose a License http://choosealicense.com/licenses/mit/ 19 comments
Copyleft - Wikipedia https://en.wikipedia.org/wiki/Copyleft 0 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - coq-community/manifesto: Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.

See how to search.

Submit link to: