Merge branch 'master' into deprecate

leanprover-community · Oct 12, 2023 · 64bb01e · 64bb01e
2 parents 54b86de + 7bbf74b
commit 64bb01e
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/README.md b/README.md
@@ -1,8 +1,5 @@
-# Lean 3 (community fork)
-
 > [!WARNING]  
 > Lean 3 is no longer actively maintained.
 > It is strongly recommended that you use [Lean 4](https://lean-lang.org/) instead.
 
-(If you need to read the old `README.md`, please see `OLD_README.md`.)
-
+(If you need to read the old `README.md`, please see `OLD_README.md`.)