Skip to content
GitLab
Explore
Sign in
coq-stdpp
CONTRIBUTING.md
Find file
Blame
History
Permalink
Add a contributor's guide
· 2ac607ba
Robbert Krebbers
authored
Feb 13, 2017
Based on the one of Ralf Jung for Iris.
2ac607ba
After you've reviewed these contribution guidelines, you'll be all set to contribute to this project.