search

coq / platform-docs

A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
https://coq.inria.fr/platform-docs/
Other
19 stars 11 forks source link

Contribution guidelines #4

Closed thomas-lamiaux closed 5 months ago

thomas-lamiaux commented 6 months ago

A presentation of the project and basic contribution guidelines. They are not perfect nor complete, but I would like to merge something relatively quickly, so that people can start looking at it and contributing

thomas-lamiaux commented 5 months ago

Shouldn't this last part be in the contributing guide?

You were right. I have partially split it. I'll merge now.