From 44846244b6f6cbe47ac2ecf88e5bb8386b549e81 Mon Sep 17 00:00:00 2001 From: Evgenia Karunus Date: Sat, 13 Jan 2024 13:11:02 +0400 Subject: [PATCH] Update README.md --- README.md | 4 ---- 1 file changed, 4 deletions(-) diff --git a/README.md b/README.md index b1cbcf8..bf18d5e 100644 --- a/README.md +++ b/README.md @@ -305,10 +305,6 @@ In the following tables, you can see what tactics such as `apply`, `rw`, or `cas ## Installation -**NOTE: -These instructions are for installing the alpha version of Paperproof. -Paperproof v1.0, which we are showing in Lean Together, will be published January 15, 2024.** - 1. Install the "Paperproof" vscode extension ([link](https://marketplace.visualstudio.com/items?itemName=paperproof.paperproof)). 2. In your `lakefile.lean`, write: