From 8b73c14eebd9c1c1f5225c4de147e2341cbc0ef3 Mon Sep 17 00:00:00 2001
From: Adrien Vannson <adrien.vannson@protonmail.com>
Date: Tue, 17 May 2022 11:29:07 +0200
Subject: [PATCH] README

---
 README.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 162b15c..64fa4d8 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,7 @@
-The Pieuvre Proof Prover
-=
+The Pieuvre Proof Assistant
+===========================
 
-# Presentation
+# Utilisation
 
 ## Option `typecheck`
 L'option `typecheck` peut être testée avec les fichiers tests dans `tests/typecheck`. Pour cela, utiliser les commandes :