From 219aca81d125995f60dd83ef4174c0a47a6d5adb Mon Sep 17 00:00:00 2001
From: Anatole Dedecker <anatolededecker@gmail.com>
Date: Sat, 27 Feb 2021 23:11:20 +0100
Subject: [PATCH] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index daff3c0..9854304 100644
--- a/README.md
+++ b/README.md
@@ -1 +1 @@
-# An attempt at computing the Gaussian integral in Lean
+# A (successful) attempt at computing the Gaussian integral in Lean