Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@lakesare
lakesare committed Jan 13, 2024
1 parent c19019e commit 4484624
Showing 1 changed file with 0 additions and 4 deletions.
4 changes: 0 additions & 4 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down

0 comments on commit 4484624

Please sign in to comment.