From 24bdf68e2d45d865cdf87427319468cf483b2a8f Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Mon, 22 Jan 2024 14:50:49 +0100
Subject: [PATCH 1/2] Update CONTRIBUTING.md

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

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 216f396..1396048 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -20,7 +20,7 @@
    yarn watch
    ```
 
-That's it! You can check that everything works by going to `/Examples.lean`, and opening the Paperpoof panel by clicking on a piece of a crumpled paper:
+That's it! You can check that everything works by going to `/Examples.lean`, and opening the Paperproof panel by clicking on a piece of a crumpled paper:
 
   <img width="200" src="https://github.com/Paper-Proof/paperproof/assets/7578559/fd077fbe-36a3-4e94-9fa8-b7a38ffd1eea"/>
 

From 5be3d1dfaf5dc61b7807252e2f1de36b35d25dc7 Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Mon, 22 Jan 2024 14:50:52 +0100
Subject: [PATCH 2/2] Update README.md

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index ea3ec31..4e82114 100644
--- a/README.md
+++ b/README.md
@@ -328,7 +328,7 @@ In the following tables, you can see what tactics such as `apply`, `rw`, or `cas
 
 5. **You're done!**
 
-    Now, click on the paperproof icon (after you installed the Paperpoof extension, it should appear in all `.lean` files), this will open a Paperproof panel within vscode.  
+    Now, click on the paperproof icon (after you installed the Paperproof extension, it should appear in all `.lean` files), this will open a Paperproof panel within vscode.  
 
     <img width="200" src="https://github.com/Paper-Proof/paperproof/assets/7578559/fd077fbe-36a3-4e94-9fa8-b7a38ffd1eea"/>
 
@@ -457,7 +457,7 @@ Below, you will see a table with the main features of Paperproof.
 
 ## Updating
 
-To update Paperproof, you only need to rerun `lake update Paperproof`. This will fetch the newest version of the Paperpoof Lean library from this github repo, and build it.
+To update Paperproof, you only need to rerun `lake update Paperproof`. This will fetch the newest version of the Paperproof Lean library from this github repo, and build it.
 
 Vscode extensions are automatically updated, however you can check for new updates with  
 **`cmd+shift+p` => "Extensions: Show Extension Updates"**.