Update README.md.

igorocky · igorocky · commit 5c17a0cca27a · 2023-02-15T09:59:50.000+01:00
diff --git a/README.md b/README.md
@@ -8,7 +8,7 @@
 
 2. Navigate to the project's directory
 
-`cd metamath-proof-assistant`
+`cd metamath-lamp`
 
 3. Install npm dependencies
 
