Category Archives: Technical assistance

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 →

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 →