Category Archives: Technical assistance

How to install mathlib and keep it up to date

Important If you’re using Windows 10 and just want a quick hack which gets everything going with a minimum amount of fuss and no installing random extra stuff like msys2 and git, then try this page instead. Overview I’m going … Continue reading

Posted in Technical assistance | 6 Comments

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 | 5 Comments