From 130bbfc501078c1c46981a05abbeeb786ef333cb Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 25 Mar 2022 14:48:07 -0700 Subject: [PATCH] chore: update README --- README.md | 1 + 1 file changed, 1 insertion(+) 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