Update GETTING_STARTED.md

coq-community · Jan 5, 2024 · 008845a · 008845a
1 parent ee5cb24
commit 008845a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/GETTING_STARTED.md b/GETTING_STARTED.md
@@ -63,7 +63,7 @@ Here are the instructions:
   ```
   4. You can also run `make install` to install Trocq on your system.
 
-## Exploring the examples
+## Exploring the examples with VSCode
 
 After completing the **Getting the right setup** phase above, the `examples`
 folder can be unfolded and the files can be inspected by clicking on them.