Merge remote-tracking branch 'origin/main'

README.md

@@ -12,14 +12,14 @@ Here is a list of files, which can be found in this project:
 - A declaration of what it means to be [context-free](src/CFG.v)
 - A declaration of what it means to be [regular](src/RG.v)
 
-In addition, you can find some examples of formal languages in [`src/instances`](src/instances).
+In addition, you can find some examples of formal languages in [`src/`](src/). By default, they are named `L_*.v`
 
 ## Installation
 To run the project's proofs, you need to have an installed version of Coq (currently tested on 8.16.1).
 
 Just clone the project and go through the proofs step by step.
 
-The project contains a [Makefile](Makefile) and a [_CoqProject](_CoqProject). Make sure to run `make` before stepping through the proofs.
+The project contains a [Makefile](Makefile). Make sure to run `make all` before stepping through the proofs.
 
 ## Support
 If you got some issues, feel free to create an issue.