Calendar

Introduction to Lean

May 20

Lean demo

more exercises

Using Lean

May 27

Lean examples

slides (to be added)

June 3

Practice writing statements, using matrices and polynomials

Polynomial roots, Matrices

June 10

projects

…

June 17

projects

…

June 24

projects

…