Category Archives: Technical assistance

Installing Lean (and VSCode) on Windows from scratch

Here are some notes, but honestly I am no expert. This just worked for me though. Some hints for Mac users are in the comments below. Step 1: Install Lean. Go to https://github.com/leanprover/lean/releases/tag/v3.3.0 and scroll to the very bottom. Download … Continue reading

Posted in Technical assistance | 4 Comments