Merge pull request #35 from Zimmi48/licensing

Licensing

LICENSE.md

@@ -0,0 +1,32 @@
+<p xmlns:cc="http://creativecommons.org/ns#" xmlns:dct="http://purl.org/dc/terms/"><a property="dct:title" rel="cc:attributionURL" href="https://github.com/Zimmi48/platform-docs">The Coq Platform Docs</a> (in particular, all the text in tutorials and how-to guides) by <em property="cc:attributionName">The Coq Platform Docs authors</em> are licensed under <a href="https://creativecommons.org/licenses/by/4.0/?ref=chooser-v1" target="_blank" rel="license noopener noreferrer" style="display:inline-block;">Creative Commons Attribution 4.0 International<img style="height:22px!important;margin-left:3px;vertical-align:text-bottom;" src="https://mirrors.creativecommons.org/presskit/icons/cc.svg?ref=chooser-v1" alt=""><img style="height:22px!important;margin-left:3px;vertical-align:text-bottom;" src="https://mirrors.creativecommons.org/presskit/icons/by.svg?ref=chooser-v1" alt=""></a></p>
+
+In addition, all the code present in the Coq Platform Docs repository, including in particular all code snippets from tutorials and how-to guides, are also licensed under the Unlicense, whose text is provided below. This means that all code coming from this repository can be reused unencumbered without needing to cite its origin.
+
+Text of the Unlicense:
+
+```
+This is free and unencumbered software released into the public domain.
+
+Anyone is free to copy, modify, publish, use, compile, sell, or
+distribute this software, either in source code form or as a compiled
+binary, for any purpose, commercial or non-commercial, and by any
+means.
+
+In jurisdictions that recognize copyright laws, the author or authors
+of this software dedicate any and all copyright interest in the
+software to the public domain. We make this dedication for the benefit
+of the public at large and to the detriment of our heirs and
+successors. We intend this dedication to be an overt act of
+relinquishment in perpetuity of all present and future rights to this
+software under copyright law.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
+IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY CLAIM, DAMAGES OR
+OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
+ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
+OTHER DEALINGS IN THE SOFTWARE.
+
+For more information, please refer to <https://unlicense.org>
+```

README.md

@@ -119,5 +119,10 @@ There are different possible ways to contribute depending on your time and techn
 > [!IMPORTANT]
 > For more information on how to contribute, please check the [Contribution Guidelines](CONTRIBUTING.md).
 
+### License
 
+The Coq Platform Docs (in particular, all the text in tutorials and how-to guides) by *The Coq Platform Docs authors* are licensed under Creative Commons Attribution 4.0 International.
+> [!NOTE]
+> Code snippets from tutorials and how-to guides can be reused unencumbered.
 
+See [LICENSE.md](LICENSE.md) for details.