From 3d4e6282b7c56da55b92b7edfb59253d839cde7b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 2 Apr 2022 15:29:12 -0700 Subject: [PATCH] chore: fix link to examples --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 369b9c3ab2..a539ba19d0 100644 --- a/README.md +++ b/README.md @@ -8,7 +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) +- [Examples](https://leanprover.github.io/lean4/doc/examples.html) - [FAQ](https://leanprover.github.io/lean4/doc/faq.html) # Installation