Category Archives: Technical assistance

Overview I’m going to explain how to install the current (bleeding edge) version of lean and mathlib, and set up a project directory on your (unix or windows or mac) computer where you can write lean files which use the … 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 →