Fix README

uds-psl · Jan 6, 2025 · bf21339 · bf21339
1 parent 08fc937
commit bf21339
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -14,7 +14,7 @@
 - Maintainer:
   - Yannick Forster ([**@yforster**](https://github.com/yforster))
 - License: [MIT License](LICENSE)
-- Compatible Coq versions: 8.19.0
+- Compatible Coq versions: 8.20.0
 - Related publication(s):
   - Adrian Dapprich's [bachelor thesis](https://www.ps.uni-saarland.de/~dapprich/bachelor.php) (Advisor: Andrej Dudenhefner, Supervisor: Gert Smolka)