From ed4471da44510e3c87df8fd1a5abaa30c450ed5b Mon Sep 17 00:00:00 2001
From: Mysaa <samy.avrillon@ens-lyon.fr>
Date: Tue, 10 May 2022 11:25:25 +0200
Subject: [PATCH] Ajout du README

---
 README.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..0ace960
--- /dev/null
+++ b/README.md
@@ -0,0 +1,14 @@
+The Pieuvre Proof Prover
+=
+
+# Presentation
+
+# Note d'implementation
+
+# Répartition du travail
+
+### Adrien
+
+### Samy
+Fonctions de manipulation des λ-termes (pieuvre.ml)
+Typecheck