M1F sheet1

M1F 2018-19 example sheets in Lean

Where are the example sheets?

In a directory called src.

I am an Imperial College First Year. How can I run Lean?

There are loads of easy ways. You don't have to install anything. Lean is on all the computers in the MLC and there are other ways too.

How can I get help learning how to use Lean?

Try this link.