Update README.md

ADedecker · web-flow · commit 219aca81d125 · 2021-02-27T23:11:20.000+01:00
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-# An attempt at computing the Gaussian integral in Lean`
	`1`	`+# A (successful) attempt at computing the Gaussian integral in Lean`