LEAN info

We will use the LEAN theorem prover.

We will use LEAN version 3.

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