diff --git a/DEV.md b/DEV.md
index 28ee18e448cbad3ac3247bdb2557c69df600aa56..e98361944ba8f01bba64aa5e30b29e9237a96627 100644
--- a/DEV.md
+++ b/DEV.md
@@ -1,6 +1,12 @@
-The fundamental principle is that the MASTER branch must remain compilable at all times and should never contain incomplete developments.
+The fundamental principle is that the MASTER branch must remain
+compilable at all times and should never contain incomplete
+developments.
 
-Development work on the master branch must be avoided. Instead, each feature or topic should have its own dedicated branch. Developers should create new branches as needed, and all work—including collaborative efforts—should occur within these topic-specific branches.
+Development work on the master branch must be avoided. Instead, each
+feature or topic should have its own dedicated branch. Developers
+should create new branches as needed, and all work—including
+collaborative efforts—should occur within these topic-specific
+branches.
 
 Before merging changes into master, ensure that your code:
 
@@ -10,7 +16,10 @@ Before merging changes into master, ensure that your code:
 -   Uses descriptive hypothesis names rather than auto-generated ones
 -   Meets all project quality standards
 
-When your changes are ready (such as a completed case study), you have two options:
+When your changes are ready (such as a completed case study), you have
+two options:
 
 1.  Submit a pull request for review
-2.  Merge directly into master after squashing your commits into meaningful, well-organized units (typically one or a few commits that clearly represent the changes)
+2.  Merge directly into master after squashing your commits into
+    meaningful, well-organized units (typically one or a few commits
+    that clearly represent the changes)
diff --git a/INSTALL.md b/INSTALL.md
index 1d7367e4b0694976bd6ebbc2c51f603f6dacffaf..019e84bebbcb17e3af866b9e7948b969ff03ddaa 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -1,7 +1,7 @@
 
 # Requirements
 
-- Coq 8.19 or 8.20 (including the executable `coqc`, `codep`, `coq_makefile`)
+- Coq 8.19 or 8.20 (including the executable `coqc`, `coqdep`, `coq_makefile`)
 - GNU `make`
 
 # Configuration
diff --git a/README.md b/README.md
index c92dccf715edd047495d7d610643fe9f4ae1bb2f..e3235e789692ee6eb7d42bdd1b39947702fd26d9 100644
--- a/README.md
+++ b/README.md
@@ -106,5 +106,3 @@ A general description of the Pactole library and its use:
  Courtieu, Rieg, Tixeuil, and Urbain. *Swarms of Mobile Robots: Towards
    Versatility with Safety.* Leibniz Transactions on Embedded Systems (LITES), 8(2):02:1–
    02:36, 2022. [link](https://doi.org/10.4230/LITES.8.2.2)
-
-   02:36, 2022.