From e4fa3e5d83221279356cf7df68e17343a3493c3e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 3 Mar 2022 11:31:24 -0800 Subject: [PATCH] chore: add link to `RELEASES.md` --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 72dbada9fc..d534abe48c 100644 --- a/README.md +++ b/README.md @@ -6,6 +6,7 @@ This is the repository for **Lean 4**, which is currently being released as mile - [Homepage](https://leanprover.github.io) - [Theorem Proving Tutorial](https://leanprover.github.io/theorem_proving_in_lean4/) - [Manual](https://leanprover.github.io/lean4/doc/) +- [Release notes](RELEASES.md) starting at v4.0.0-m3 - [FAQ](https://leanprover.github.io/lean4/doc/faq.html) # Installation