[README] Update readme

pPomCo · Oct 20, 2023 · a11c9e1 · a11c9e1
1 parent d72d7bf
commit a11c9e1
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -6,8 +6,6 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 
 **Update:** The ITP2023 formalization is available [on the ITP2023 branch](https://github.com/pPomCo/belgames/tree/ITP2023).
 
-**Update:** The ITP2023 formalization is available [on the ITP2023 branch](https://github.com/pPomCo/belgames/tree/ITP2023).
-
 [![Docker CI][docker-action-shield]][docker-action-link]
 
 [docker-action-shield]: https://github.com/pPomCo/belgames/workflows/Docker%20CI/badge.svg?branch=main