WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

Home

Jump to bottom Edit New page
Erik Martin-Dorel edited this page Mar 10, 2020 · 5 revisions

This is the general wiki of coq-community.

On the other pages, you will find general advice and best practices on how to maintain a project. This should complement the content of the templates repository, the project examples mentioned in the templates' README, the FAQ in the README, and the CONTRIBUTING guide.

Two alternative ways of setting up CI are documented in Continuous-Integration-with-Nix and in https://github.com/coq-community/docker-coq/wiki/CI-setup. Feel free to use whichever you prefer (the proposed setup in templates uses a combination of both and you can find a comparison here).

Add a custom footer
Add a custom sidebar

Clone this wiki locally