Calendar
Introduction to Lean
- May 20
Using Lean
- May 27
- Lean examples
- slides (to be added)
- June 3
- Practice writing statements, using matrices and polynomials
- Polynomial roots, Matrices
- June 10
- matrices and vectors; examples
- Linear algebra in Mathlib
- June 17
- projects
- …
- June 24
- projects
- …