Category Archives: Technical assistance

No errors.

Does your Lean file contain errors? Try and cut down. Continue reading

Posted in Learning Lean, Technical assistance, Uncategorized | Tagged , , , | 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