diff --git a/README.md b/README.md
index 98d3d44be9..369b9c3ab2 100644
--- a/README.md
+++ b/README.md
@@ -8,6 +8,7 @@ This is the repository for **Lean 4**, which is currently being released as mile
 - [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
+- [Examples](https://github.com/leanprover/lean4/blob/master/doc/examples.md)
 - [FAQ](https://leanprover.github.io/lean4/doc/faq.html)
 
 # Installation