diff --git a/README.md b/README.md
index a92205c53b2a74a2510763280e0ea2d5327a6a86..747db027b2afad79398510767e204747a6fb725c 100644
--- a/README.md
+++ b/README.md
@@ -15,7 +15,7 @@ and to ensure that the MetAcsl branch you intend to work on is compatible with i
  as well as any `stable/*` branch).
 
 Optional dependencies, needed for using the [deduction](#deduction) capabilities of MetAcsl include:
-- [Why3](https://why3.lri.fr) (only for checking the consistency of MetAcsl's deduction model)
+- [Why3](https://www.why3.org) (only for checking the consistency of MetAcsl's deduction model)
 - [SWI Prolog](https://www.swi-prolog.org/)
 
 Since version 0.4, MetAcsl uses [`dune`](https://dune.build/) as build system (following Frama-C's lead),