Test files with Coq version 8.18.0

matthesjh · Dec 25, 2023 · 59aecd3 · 59aecd3
1 parent 4b0b681
commit 59aecd3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -11,7 +11,7 @@ The implementation was developed as part of a master's seminar. It is based on t
 
 Please make sure that you have installed the Coq Proof Assistant on your operating system. The latest version of Coq can be found [here](https://coq.inria.fr/download).
 
-**Note:** The files have been fully tested with Coq versions 8.7.2 to 8.17.1.
+**Note:** The files have been fully tested with Coq versions 8.7.2 to 8.18.0.
 
 In order to compile the Coq files provided by this repository, the [`_CoqProject`](_CoqProject) file can be used.