Update README.md

hhu-adam · Jul 29, 2024 · 052ab2a · 052ab2a
1 parent 529c92c
commit 052ab2a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -2,8 +2,8 @@
 
 Provides browser support for running Lean in a Monaco editor.
 
-This package is based on the VSCode extension
-[Lean 4](https://marketplace.visualstudio.com/items?itemName=leanprover.lean4) and the
+This package is based on the [VSCode extension
+"Lean 4"](https://marketplace.visualstudio.com/items?itemName=leanprover.lean4) and the
 [Lean Infoview](https://www.npmjs.com/package/@leanprover/infoview).
 
 ## Usage
@@ -112,4 +112,4 @@ export default {
 The error I typically got is:
 ```
 this._configurationService.onDidChangeConfiguration is not a function
-```
+```