Category Archives: Technical assistance
Does your Lean file contain errors? Try and cut down. Continue reading
Posted in Learning Lean, Technical assistance, Uncategorized Tagged CoCalc, error, errors, VS Code Leave a comment
How to install mathlib and keep it up to date
Important: I deleted this post because it was out of date and causing confusion. The Lean Community now has its own website and up to date installation instructions for getting Lean and the key tool leanproject are here.
Posted in Technical assistance 6 Comments
Installing Lean (and VSCode) on Windows from scratch
This post is now very old and out of date so I deleted it; for instructions on installing Lean see the Lean community website here.
Posted in Technical assistance 5 Comments