Update Readme

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>

README.md

@@ -1,6 +1,6 @@
 # Birkhoff's ergodic theorem in Lean 4
 
-![Lean build](https://github.com/mseri/birkhoff/actions/workflows/build.yml/badge.svg)
+![Lean build](https://github.com/mseri/BET/actions/workflows/build.yml/badge.svg)
 
 This project was initiated at the [Machine-Checked Mathematics Workshop](https://www.lorentzcenter.nl/machine-checked-mathematics.html) at the Lorentz Center, 10-14 July 2023.
 
@@ -13,13 +13,13 @@ Make sure that Lean 4 is installed, if not, [start here](https://leanprover-comm
 Clone this repo
 
 ```
-git clone https://github.com/mseri/birkhoff.git
+git clone https://github.com/mseri/BET.git
 ```
 
 then enter the folder
 
 ```
-cd birkhoff
+cd BET
 ```
 
 download mathlib's cache
@@ -28,6 +28,6 @@ download mathlib's cache
 lake exe cache get
 ```
 
-and open the folder in vscode to view and edit the Lean code.
+and open the folder in your editor to view and edit the Lean code.
 
 [Contribution guidelines](CONTRIBUTING.md) for this project.