Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
Proofs in Lean
About
Calendar
Harry Richman
GitHub source
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
…