From e92dfdf90fcb9b7500eb1962de41414834b9b403 Mon Sep 17 00:00:00 2001
From: Yves Bertot <Yves.Bertot@inria.fr>
Date: Thu, 6 Oct 2022 09:47:38 +0200
Subject: [PATCH] adding license

---
 LICENSE.md | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 LICENSE.md

diff --git a/LICENSE.md b/LICENSE.md
new file mode 100644
index 0000000..884314c
--- /dev/null
+++ b/LICENSE.md
@@ -0,0 +1,3 @@
+# License
+
+<a rel="license" href="http://creativecommons.org/licenses/by/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by/4.0/88x31.png" /></a><br /><span xmlns:dct="http://purl.org/dc/terms/" href="http://purl.org/dc/dcmitype/Text" property="dct:title" rel="dct:type">Prouvez que vos programmes fonctionnels n'ont pas de bugs avec Coq Première partie</span> by <span xmlns:cc="http://creativecommons.org/ns#" property="cc:attributionName">Yves Bertot</span> is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by/4.0/">Creative Commons Attribution 4.0 International License</a>.<br />Based on a work at <a xmlns:dct="http://purl.org/dc/terms/" href="https://gitlab.inria.fr/bertot/progcoq" rel="dct:source">https://gitlab.inria.fr/bertot/progcoq</a>.
\ No newline at end of file
-- 
GitLab