Calendar

Introduction to Lean

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