From 59aecd339018aad70806b1f2f2869127161d3f9a Mon Sep 17 00:00:00 2001 From: Jan-Hendrik Matthes Date: Mon, 25 Dec 2023 20:48:39 +0100 Subject: [PATCH] Test files with Coq version 8.18.0 --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b0042b0..4d35659 100644 --- 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.