Autumn 2026
| Week 1 (Oct 05-09) |
|---|
| Monday |
- Overview of assessment.
- Introduction to formalization and to Lean.
- The
Natural numbers.
|
| Tuesday |
- Preliminary discussion about project topics.
|
| Week 2 (Oct 12-16) |
|---|
| Monday |
- Infoview.
- Basic tactics:
exact?, constructor, cases.
- Type ascriptions, structuring proofs (L00_intro.lean)
|
| Tuesday |
- Finish L00_intro.lean.
- Proof obligations, forward and backward reasoning.
|
Thursday (support class) |
- Overview of available resources.
- Installation troubleshooting.
|
| Week 3 (Oct 19-23) |
|---|
| Monday |
|
| Tuesday |
- Finish polynomials.
- Groups of order 6 vs groups of order
pq.
|
What we may be doing in the coming lectures: tentative syllabus
Last modified: Tuesday, Oct 20 2026