From b89e2581516a3058a25bedc62b13c39563aaf7ed Mon Sep 17 00:00:00 2001 From: Kaiyu Yang Date: Tue, 12 Mar 2024 20:36:06 -0700 Subject: [PATCH] Update README.md --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index fe66a4c..99a1788 100644 --- a/README.md +++ b/README.md @@ -18,6 +18,8 @@ NeurIPS (Datasets and Benchmarks Track), 2023, Oral presentation } ``` +Lean 3 is deprecated. The `main` branch only supports Lean 4. You may use the [`legacy`](https://github.com/lean-dojo/ReProver/tree/legacy) branch if you want to work with Lean 3. + [![GitHub license](https://img.shields.io/github/license/MineDojo/MineDojo)](https://github.com/MineDojo/MineDojo/blob/main/LICENSE) [![Code style: black](https://img.shields.io/badge/code%20style-black-000000.svg)](https://github.com/psf/black)