LEAN info

We will use the LEAN theorem prover.

We will use LEAN version 3.

Please use the LEAN community website for installation instructions, etc.